Finite Model Theory (Perspectives in Mathematical Logic) - Hardcover
Book 3 of 187: Springer Monographs in Mathematics
Synopsis
Finite model theory has its origins in classical model theory but owes its systematic development to research from complexity theory. The text presents the main results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed point logics, transitive closure logics and also certain infinitary languages; their model theory is studied in detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the representative parts on the model theory and descriptive complexity theory may be read independently.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Finite Model Theory (Perspectives in Mathematical Logic)
Stock Image
Finite Model Theory (Perspectives in Mathematical Logic)
Published by
Springer, New York, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Used
Hardcover
First Edition
Seller: Row By Row Bookshop, Sugar Grove, NC, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. First Edition. An ex-library copy in original yellow hard covers. The usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket, apparently as issued. Book. Seller Inventory # 063566
Seller Image
Finite Model Theory. Perspectives in Mathematical Logic.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 327 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 645. Seller Inventory # 2290685
Seller Image
Finite model theory.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 2., rev. and enl. ed. XIII, 360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03616 9783540601494 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513317
Stock Image
Finite Model Theory
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-40111
Stock Image
Finite Model Theory
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241671
Stock Image
Finite Model Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 327 1st Edition. Seller Inventory # 261770505
Stock Image
Finite Model Theory
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # SNTA-40111
Stock Image
Finite Model Theory
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 327. Seller Inventory # 7125974
Buy New
£ 63.16
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Finite Model Theory
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 327. Seller Inventory # 181770499
Seller Image
Finite Model Theory (Perspectives in Mathematical Logic)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Gut. 342 Seiten; 9783540601494.3 Gewicht in Gramm: 1. Seller Inventory # 1110284