Introduction to metamathematics - Kleene, Stephen Cole, 1909-1994 (Wolters-Noordhoff Publishing, 1971)