ロード中...
Introduction to substructural logics /
| 第一著者: | |
|---|---|
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
London :
Routledge Publishers,
2000.
|
目次:
- 1. Proof theory 2. Propositional structures 3. Frames 4. Decidability 5. Coda.