"Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988" - читать интересную книгу автора (Scedrov A., Nerode A., Sacks G. E.)