✦ LIBER ✦
Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
✍ Scribed by Rybakov, V.
- Book ID
- 115446457
- Publisher
- Oxford University Press
- Year
- 2012
- Tongue
- English
- Weight
- 115 KB
- Volume
- 21
- Category
- Article
- ISSN
- 1367-0751
No coin nor oath required. For personal study only.