The completeness of the functional calculus (1949)

by L Henkin
Venue:J. Symbolic Logic