Menu
Second-order quantifier elimination : foundations, computational aspects and applications
Enlarge

Second-order quantifier elimination : foundations, computational aspects and applications

Dov M. Gabbay

Publication Data

Topics

Catalogue Data

ISBD

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Second-order quantifier elimination : foundations, computational aspects and applications by Dov M. Gabbay. ISBN 9781904987567. Published by College Pub. in 2008. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.