Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 117,84
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 117,84
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
EUR 117,82
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: 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!
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 136,60
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 374 2nd Printing.
Librería: Anybook.com, Lincoln, Reino Unido
EUR 109,91
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 182,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 184,48
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 374.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 201,89
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 190,13
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 233,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. Second Edition 1995.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Librería: moluna, Greven, Alemania
EUR 207,89
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: 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.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Librería: Rarewaves.com UK, London, Reino Unido
EUR 219,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. Second Edition 1995.
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 256,45
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 140,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 374 Illus. This item is printed on demand.