Introduction to metamathematics - Kleene, Stephen Cole 1909-1994 (van Nostrand, 1952)