Intensional Interpretations of Functionals of Finite Type I

Journal of Symbolic Logic 40 (4):624-625 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271837

Other Versions

original Tait, W. W. (1967) "Intensional interpretations of functionals of finite type I". Journal of Symbolic Logic 32(2):198-212

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 , pp. 198–212. [REVIEW]J. Y. Girard - 1975 - Journal of Symbolic Logic 40 (4):624-625.
Functionals Defined by Transfinite Recursion.R. E. Vesley - 1966 - Journal of Symbolic Logic 31 (3):509.
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
Review: W. W. Tait, Nested Recursion. [REVIEW]Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
Compact and majorizable functionals of finite type.Marc Bezem - 1989 - Journal of Symbolic Logic 54 (1):271-280.
Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.

Analytics

Added to PP
2017-02-21

Downloads
28 (#801,164)

6 months
3 (#1,471,783)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references