Studies in Logic and the Foundations of Mathematics; Sentences Undecidable in Formalized Arithmetic (An Exposition of the Theory of Kurt Godel) | lit.salon