✦ LIBER ✦
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
✍ Scribed by Tatsuya Shimura
- Publisher
- Springer Netherlands
- Year
- 1993
- Tongue
- English
- Weight
- 976 KB
- Volume
- 52
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.