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