The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)

by Dov Gabbay (Author), RenateA.Schmidt (Author), Andrzej Szalas (Author)

$22.81

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 320
 Publisher: College Publications
Published: 17 Apr 2008
ISBN 10: 1904987567
ISBN 13: 9781904987567