Introduction to Metamathematics. North-Holland, seventh edition (1952)

by S Kleene