An edition of Second-order quantifier elimination (2008)

Second-order quantifier elimination

foundations, computational aspects and applications

by

Second-order quantifier elimination
Dov M. Gabbay, Dov M. Gabbay
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 17, 2024 | History
Edit
An edition of Second-order quantifier elimination (2008)

Second-order quantifier elimination

foundations, computational aspects and applications

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
College Publications
Language
English
Pages
308

Check nearby libraries

Buy this book

Subjects

Symbolic and mathematical Logic, Knowledge representation (information theory)
Edition Availability
Cover of: Second-order quantifier elimination
Second-order quantifier elimination: foundations, computational aspects and applications
2008, College Publications
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and indexes.

Published in
London
Series
Studies in logic -- v. 12

Classifications

Dewey Decimal Class
511.3 22
Library of Congress
QA9 .G33 2008

The Physical Object

Pagination
viii, 308 p.
Number of pages
308

Edition Identifiers

Open Library
OL45192454M
ISBN 10
1904987567
ISBN 13
9781904987567
OCLC/WorldCat
267048641

Work Identifiers

Work ID
OL33295105W

Source records

Harvard University record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
March 17, 2024 Edited by ImportBot import existing book
December 31, 2022 Created by MARC Bot import new book