中古あり ￥3,856より
(2025/11/10 18:09:01時点)
Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
詳しい情報
出版社: College Pubns(2008-04-30)
ペーパーバック: 308 ページ / 15.6 x 1.7 x 23.4 cm
ISBN-10: 1904987567 ISBN-13: 9781904987567