Introduction to Metamathematics - Kleene, Stephen C. (van Nostrand Reinhold Co Ltd, 1967)