- Cărți electroniceThe Calculi of Lambda-Conversion (AM-6), Volume 6Alonzo Church
- Cărți electroniceIntroduction to Mathematical Logic (PMS-13), Volume 13Alonzo Church
- Cărți electroniceSerie: Princeton Mathematical SeriesFrançois Treves
- Cărți electroniceSerie: Princeton Landmarks in Mathematics and PhysicsNorman Steenrod
- Cărți electroniceSerie: Annals of Mathematics StudiesRichard Taylor
- Cărți electroniceSerie: Princeton Mathematical SeriesFrançois Treves
- Cărți electroniceSerie: Princeton Landmarks in Mathematics and PhysicsBrian R. Judd