Introduction to metamathematics - Kleene, Stephen Cole (Amsterdam North-Holland, 1952)
Keywords: Metamathematics