"Proofs and algorithms: An introduction to logic and computability" - читать интересную книгу автора (Dowek G.)