Kleene, “Introduction to Metamathematics”, (1952)

by Stephen Cole