"Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel (Studies in Logic and the Foundations of Mathematics, 10)" - читать интересную книгу автора (Andrzej Mostowski)