"Logic and Computer Science" - читать интересную книгу автора (S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks)