The completeness of the first order functional calculus," Journal of symbolic logic, XIV (1949)

by Leon Henkin