Introduction to Methamatematics (1952)

by S Kleene