✦ LIBER ✦
Gödel's Intepretation of Heyting's Arithmetic.by Georg Kreisel;Relations Between Classes of Constructive Functionalsby G. Kreisel;Interpretation of Analysis by Means of Constructive Functionals of Finite Typesby Georg Kreisel; A. Heyting
✍ Scribed by Review by: D. van Dalen
- Book ID
- 124972127
- Publisher
- Association for Symbolic Logic
- Year
- 1971
- Tongue
- English
- Weight
- 498 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2271570
No coin nor oath required. For personal study only.