"Logical Foundations of Computer Science, LFCS '92" - читать интересную книгу автора (Anil Nerode, Mikhail Taitslin)