EUR 35,22
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. 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.
EUR 41,08
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 374 2nd Printing.
EUR 40,88
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 374.
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
EUR 43,64
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 EBB 9783540657583 Sprache: Englisch Gewicht in Gramm: 550.
Vendeur : Grey Matter Books, Hadley, MA, Etats-Unis
Membre d'association : SNEAB
EUR 36,05
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Etat de la jaquette : 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.
EUR 71,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 327 1st Edition.
EUR 72,35
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 327.
EUR 73,40
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 327.
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
EUR 43,91
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 EBB 9783540657583 Sprache: Deutsch Gewicht in Gramm: 550.
Vendeur : Midway Book Store (ABAA), St. Paul, MN, Etats-Unis
EUR 45,06
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
EUR 67,59
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : 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.
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 108,72
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
EUR 53,98
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : 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!
Vendeur : Anybook.com, Lincoln, Royaume-Uni
EUR 111,19
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9783540287872.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 130,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 151,73
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 191,18
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 192,36
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540287876 ISBN 13 : 9783540287872
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 207,89
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : 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.
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
EUR 206,61
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 189,26
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10 : 3540287876 ISBN 13 : 9783540287872
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 253,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : 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.
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10 : 3540287876 ISBN 13 : 9783540287872
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 271,88
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. Second Edition 1995.
Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2005
ISBN 10 : 3540287876 ISBN 13 : 9783540287872
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 256,45
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 40,60
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 374 Illus. This item is printed on demand.