Introduction to metamathematics

Kleene, Stephen Cole