×

zbMATH — the first resource for mathematics

Intensional interpretations of functionals of finite type. I. (English) Zbl 0174.01202

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Fundamenta Mathematicae 54 pp 73– (1964)
[2] DOI: 10.1111/j.1746-8361.1958.tb01464.x · Zbl 0090.01003 · doi:10.1111/j.1746-8361.1958.tb01464.x
[3] Ergebnisse eines math. Koll. pp 34– (1931)
[4] DOI: 10.1007/BF01447860 · JFM 52.0239.01 · doi:10.1007/BF01447860
[5] Countable functionals, Constructivity in mathematics pp 81– (1959)
[6] Inessential extensions of Heyting’s arithmetic by means of functionals of finite type 24 pp 284– (1959)
[7] Constructivity in mathematics pp 101– (1959)
[8] Transactions of the American Mathematical Society, 91 pp 1– (1959)
[9] Proceedings of symposia in pure mathematics pp 1– (1962)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.