✦ LIBER ✦
Construction Sémantique de la Logique Intuitioniste.by E. W. Beth;Interventionby A. Heyting;La Théorie Élémentaire de l'Intégration en Mathématiques Intuitionnistes.by A. Heyting
✍ Scribed by Review by: Martin Davis
- Book ID
- 124964436
- Publisher
- Association for Symbolic Logic
- Year
- 1960
- Tongue
- English
- Weight
- 231 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2964726
No coin nor oath required. For personal study only.