Introduction to Metamathematics (1952)

by Stephen Cole Kleene