Introduction to metamathematics - Kleene, Stephen Cole (The University series in higher mathematics, 1952)