中古あり ¥20,250より
(2024/03/29 10:59:30時点)
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic, 53)
もっともっと探す
+もっと詳しい情報
出版社: Springer(2020-01-03)
ハードカバー: 401 ページ / 6.1401452 x 1.14 x 9.2098241 inches / 770 g
ISBN-10: 3030302288 ISBN-13: 9783030302283