"Logical Foundations of Computer Science 3 conf., LFCS'94" - читать интересную книгу автора (Anil Nerode, Yu.V. Matiyasevich)