A formulation of the simple theory of types
- 1 June 1940
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 5 (2) , 56-68
- https://doi.org/10.2307/2266170
Abstract
A formulation of the simple theory of types - Volume 5 Issue 2 - Alonzo ChurchKeywords
This publication has 5 references indexed in Scilit:
- A Theory of Positive Integers in Formal Logic. Part IIAmerican Journal of Mathematics, 1935
- Abriss der LogistikPublished by Springer Nature ,1929
- Axiomatische Untersuchung des Aussagen-Kalkuls der ?Principia Mathematica?Mathematische Zeitschrift, 1926
- Über die Bausteine der mathematischen LogikMathematische Annalen, 1924
- Mathematical Logic as Based on the Theory of TypesAmerican Journal of Mathematics, 1908