1950
2 references published this year.
Completeness in the Theory of Types
Leon Henkin (1950) · The Journal of Symbolic Logic
A Symmetrical Notation for Numbers
Claude E. Shannon (1950) · The American Mathematical Monthly · Taylor & Francis