Completeness in the Theory of Types.” The (1950)

by Leon Henkin
Venue:Journal of Symbolic Logic