Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo Held at Montecatini Terme, ... 1988

Steven Homer , Anil Nerode , Richard A. Platek