✦ LIBER ✦
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric
✍ Scribed by Paolo Gentilini
- Book ID
- 110221042
- Publisher
- Springer Netherlands
- Year
- 1999
- Tongue
- English
- Weight
- 713 KB
- Volume
- 63
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.