Introduction to Metamathematics (0)

by S C Kleene