"Decidability and Essential Undecidability" - читать интересную книгу автора (Putnam Hilary)