✦ LIBER ✦
Some Superconstructive Propositional Calculiby V. A. Jankov; Sue Walker;Realizable formulas of Propositional Logicby V. A. Jankov; Elliott Mendelson;The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structuresby V. A. Jankov; Elliott Mendelson
✍ Scribed by Review by: Gene F. Rose
- Book ID
- 124971979
- Publisher
- Association for Symbolic Logic
- Year
- 1970
- Tongue
- English
- Weight
- 348 KB
- Volume
- 35
- Category
- Article
- ISSN
- 0022-4812
- DOI
- 10.2307/2271182
No coin nor oath required. For personal study only.