✦ LIBER ✦
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
✍ Scribed by Schroeder-Heister, Peter
- Book ID
- 125856039
- Publisher
- Springer Netherlands
- Year
- 2014
- Tongue
- English
- Weight
- 306 KB
- Volume
- 102
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.