Introduction to metamathematics - Kleene, Stephen Cole, 1909-1994 (North-Holland Pub. Co. : P. Noordhoff N.V, 1959)
Includes index.