Completeness in the Theory of Types, The (1950)

by L Henkin
Venue:Journal of Symbolic Logic