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