1. Kleene, S. C. (1952). Introduction to Metamathematics.