Kleene, Introduction to metamathematics, D (1952)

by Stephen Cole