The Completeness of Formal Systems (1947)

by L Henkin
Venue:Unpublished Ph.D. dissertation, Princeton