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
Intensional Interpretations of Functionals of Finite Type I
W. W. Tait
The Journal of Symbolic Logic
Vol. 32, No. 2 (Jun., 1967), pp. 198-212
Published
by: Association for Symbolic Logic
DOI: 10.2307/2271658
https://www.jstor.org/stable/2271658
Page Count: 15
You can always find the topics here!
Topics: Recursion, Mathematical constants, Induction assumption, Numerals, Axioms, Mathematical theorems, Mathematical induction, Quantification, Bar induction, Reasoning
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
© 1967 Association for Symbolic Logic