- Livre électroniqueOn Formally Undecidable Propositions of Principia Mathematica and Related SystemsKurt Gödel
- Livre électroniqueConsistency of the Continuum Hypothesis. (AM-3), Volume 3Kurt Gödel
- Livre électroniqueSérie : Dover Books on MathematicsRobert Gilmore
- Livre électroniqueSérie : Annals of Mathematics StudiesRichard Taylor