67-4963-65 Well-Quasi Orders in Computation, Logic, Language and Reasoning 978-3-030-30228-3
仕様
- サブタイトル：A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
- 編者：Schuster, Peter M./Seisenberger, Monika/Weiermann, Andreas
- 叢書名：Trends in Logic
- Vol. 53
- 装丁：Hard
- 頁数他：X, 391 p.
- 発行日：2020/01/03
- 分類：情報数理：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|