Introduction to Metamathematics - Kleene Stephen Cole (Amsterdam North Holland Publishing, 1967)