Introduction to metamathematics - Kleene, Stephen Cole (North-Holland, 1952)