Introduction to Metamathematics (1971)

by S C Kleene