Second-order Quantifier Elimination Dov Gabbay

Name: Second-order Quantifier Elimination By Dov Gabbay
SKU: 9781904987567
Price: 27.99 USD
Availability: InStock

Second-order Quantifier Elimination by Dov Gabbay

Reviews:

$27.99

Condition - New

Only 2 left

New

SeriesStudies in Logic: Mathematical Logic and Foundations

Second-order Quantifier Elimination Summary

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications by Dov Gabbay

Unfortunately we do not have a summary for this item at the moment

Additional information

Sku

NLS9781904987567

ISBN 13

9781904987567

ISBN 10

1904987567

Title

Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications by Dov Gabbay

Author

Dov Gabbay

Series

Studies in Logic: Mathematical Logic and Foundations

Condition

New

Binding type

Paperback

Publisher

College Publications

Year published

2008-04-17

Number of pages

320

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time