The completeness of the first-order functional calculus (1949)

by L Henkin
Venue:The Journal of Symbolic Logic