✦ LIBER ✦
[Trends in Logic] Advances in Natural Deduction Volume 39 || An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
✍ Scribed by Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria
- Book ID
- 125426135
- Publisher
- Springer Netherlands
- Year
- 2014
- Weight
- 151 KB
- Category
- Article
- ISBN
- 9400775482
No coin nor oath required. For personal study only.