If You Use a Screen Reader
This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Journal Article
A Formulation of the Simple Theory of Types
Alonzo Church
The Journal of Symbolic Logic
Vol. 5, No. 2 (Jun., 1940), pp. 56-68
Published
by: Association for Symbolic Logic
DOI: 10.2307/2266170
https://www.jstor.org/stable/2266170
Page Count: 13
You can always find the topics here!
Topics: Mathematical theorems, Deduction theorem, Type theory, Well formed formulas, Natural numbers, Logical theorems, Rules of inference, Induction assumption, Abbreviations, Propositional functions
Were these topics helpful?
Select the topics that are inaccurate.
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
The Journal of Symbolic Logic
© 1940 Association for Symbolic Logic