✦ LIBER ✦
Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematicsby Clifford Spector
✍ Scribed by Review by: R. E. Vesley
- Book ID
- 124959668
- Publisher
- Association for Symbolic Logic
- Year
- 1967
- Tongue
- English
- Weight
- 203 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2271288
No coin nor oath required. For personal study only.