Introduction to metamathematics - Kleene, Stephen Cole, 1909-1994 (Bibliotheca Mathematica (North Holland) / N.G.De Bruijn,D.Van Dantzig,J.De Groot ;, 1952)