Introduction to metamathematics - Kleene, Stephen Cole 1909-1994 (North-Holland, 1971)