1950

1 reference published this year.

Completeness in the Theory of Types
Leon Henkin (1950) · Journal of Symbolic Logic