1940
2 references published this year.
A formulation of the simple theory of types
Alonzo Church (1940) · Journal of Symbolic Logic · Cambridge University Press
A Symbolic Analysis of Relay and Switching Circuits
Claude Elwood Shannon (1940)