- Cărți electroniceOn Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel
- Cărți electroniceConsistency of the Continuum Hypothesis. (AM-3), Volume 3Kurt Gödel
- Cărți electroniceSerie: Dover Books on MathematicsRobert Gilmore
- Cărți electroniceSerie: Annals of Mathematics StudiesRichard Taylor