Introduction to Metamathematics, volume 1 (1952)

by S C Kleene
Venue:of Bibliotheca Mathematica. Van Nostrand & Wolters-Noordhoff/North-Holland, Princeton, NJ & Groningen