"Logical Foundations of Computer Science 4 conf., LFCS'97" - читать интересную книгу автора (Sergei Adian, Anil Nerode)