Introduction to Metamathematics by Stephen Cole Kleene