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.35

Quantity

10 in stock

More Information

Format: Paperback
Pages: 320
Publisher: College Publications
Published: 17 Apr 2008

ISBN 10: 1904987567
ISBN 13: 9781904987567