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

by L Henkin
Venue:Journal of Symbolic Logic