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