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