Logic and Computer ScienceSteven Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks · First published 1990Open the Tome