- Livre électroniqueThe Calculi of Lambda-Conversion (AM-6), Volume 6Alonzo Church
- Livre électroniqueIntroduction to Mathematical Logic (PMS-13), Volume 13Alonzo Church
- Livre électroniqueSérie : Princeton Mathematical SeriesFrançois Treves
- Livre électroniqueSérie : Princeton Landmarks in Mathematics and PhysicsNorman Steenrod
- Livre électroniqueSérie : Annals of Mathematics StudiesRichard Taylor
- Livre électroniqueSérie : Princeton Mathematical SeriesFrançois Treves
- Livre électroniqueSérie : Princeton Landmarks in Mathematics and PhysicsBrian R. Judd