The Completeness of Formal Systems (1947)

by Leon Henkin