"Proofs and Algorithms: An Introduction to Logic and Computability" - читать интересную книгу автора (Gilles Dowek)