67-5003-83 Sequents and Trees 978-3-030-57144-3
仕様
- サブタイトル：An Introduction to the Theory and Applications of Propositional Sequent Calculi
- 著者：Indrzejczak, Andrzej
- 叢書名：Studies in Universal Logic
- 装丁：Hard
- 頁数他：XVI, 345 p.
- 発行日：2020/12/17
- 分類：数学基礎論
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|