Completeness in the theory of types (1950)

by L Henkin
Venue:Journal of Symbolic Logic