67-4963-63 R-Calculus, IV： Propositional Logic 978-981-19-8632-1
[(publisher) Springer Verlag]
仕様
- 著者：Li, Wei/Sui, Yuefei
- 叢書名：Perspectives in Formal Induction, Revision and Evolution
- 装丁：Hard
- 発行日：2023/03/29
- 分類：情報数理：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|