Enlarge

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

Dov M. Gabbay

Publication Data

Title Second-order quantifier elimination : foundations, computational aspects and applications
Author Dov M. Gabbay
Contributors Renate A. Schmidt, Andrzej Szałas
Publisher College Pub.
Publication date 2008
Publication location London
Language English

Topics

Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GBA902071
ISBN 10 1904987567
ISBN 13 9781904987567
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 viii, 308 p.
P1042 Includes bibliographical references and index.

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.