✦ LIBER ✦
Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types.by A. S. Troelstra; J. E. Fenstad
✍ Scribed by Review by: C. Smorynski
- Book ID
- 124972237
- Publisher
- Association for Symbolic Logic
- Year
- 1975
- Tongue
- English
- Weight
- 85 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2271838
No coin nor oath required. For personal study only.