- Электронная книгаOn Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel
- Электронная книгаConsistency of the Continuum Hypothesis. (AM-3), Volume 3Kurt Gödel
- Электронная книгаСерия: «Dover Books on Mathematics»Robert Gilmore
- Электронная книгаСерия: «Annals of Mathematics Studies»Richard Taylor