Introduction to Mathematical Logic I (1956)

by A Church