Introduction to Metamathematics, North-Holland (1952)

by S C Kleene