Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990