Condition: New. pp. 374 2nd Printing.
Condition: New. pp. 374.
Seller: HPB-Red, Dallas, TX, U.S.A.
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
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: ALLBOOKS1, Direk, SA, Australia
£ 108.58
Convert currencyQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 154.13
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Seller: Mispah books, Redhill, SURRE, United Kingdom
£ 161
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Language: English
Seller: moluna, Greven, Germany
£ 185.27
Convert currencyQuantity: Over 20 available
Add to basketGebunden. Condition: New. Explores connections between axiomatizability of classes of finite structures and their complexity with respect to time and space boundsIncludes important logics: fixed-point logics, transitive closure logics, and also certain infinitary la.
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
£ 232.86
Convert currencyQuantity: Over 20 available
Add to basketHardback. Condition: New. Second Edition 1995.
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
£ 212.26
Convert currencyQuantity: Over 20 available
Add to basketHardback. Condition: New. 2nd ed. 1999. 2nd printing 2005. Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, first-order language (we mostly speak of first-order logic) became the most prominent language in this respect, the reason being that it obeys some fundamental principles such as the compactness theorem and the completeness theorem. These principles are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic. This weakness is the breeding ground for the freedomwhich modeltheoretic methods rest upon. By compactness, any first-order axiom system either has only finite models of limited cardinality or has infinite models. The first case is trivial because finitely many finite structures can explicitly be described by a first-order sentence. As model theory usually considers all models of an axiom system, modeltheorists were thus led to the second case, that is, to infinite structures. In fact, classical model theory of first-order logic and its generalizations to stronger languages live in the realm of the infinite.
Hardcover. Condition: Very Good. Dust Jacket Condition: None Issued. Text is unmarked, though the pages are a little yellowed, the page edges are age toned and the top edge of the pages is foxed. Binding is sturdy. There are a couple tiny stains of the covers. No dust jacket, as issued. 327pp.
Seller: Majestic Books, Hounslow, United Kingdom
£ 33.19
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 374 Illus. This item is printed on demand.
Seller: Midway Book Store (ABAA), St. Paul, MN, U.S.A.
Paperback. Condition: Fine. Second edition. 23.5 x 15.5 cm. 360pp. Revised and enlarged second edition. Part of the series perspectives in mathematical logic. From the back cover: This book presents the main results of descriptive complexity theory, that is, the connections 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 vertain infinitary languages; their model theory is studied in full detail Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Soft cover. Condition: Good. No jacket. 2nd ed. Second edition. Cover is lightly worn and smudged, not affecting legibility of text. Binding is tight. Top and fore edge of text block is stained, visible on some pages but not affecting legibility of text. Pages are otherwise unmarked.
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.
Brand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress.
Published by Springer-Verlag GmbH & Co. KG, 1995
ISBN 10: 354060149X ISBN 13: 9783540601494
Language: English
Seller: Buchpark, Trebbin, Germany
£ 32.97
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Seller: Mispah books, Redhill, SURRE, United Kingdom
£ 109
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
£ 143.96
Convert currencyQuantity: 6 available
Add to basketHardcover. Condition: Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-11 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller: Mispah books, Redhill, SURRE, United Kingdom
£ 127
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.