Finite Model Theory (Perspectives in Mathematical Logic) - Softcover

Buch 3 von 187: Springer Monographs in Mathematics

Ebbinghaus, Heinz-Dieter; Flum, Jörg

 
9783540657583: Finite Model Theory (Perspectives in Mathematical Logic)
Softcover
ISBN 10: 3540657584 ISBN 13: 9783540657583
Verlag: Springer, 1999

Inhaltsangabe

This is a thoroughly revised and enlarged second edition that 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 certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
3540657584
ISBN 13 
9783540657583
Einband
Taschenbuch
Auflage
2
Anzahl der Seiten
371
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540287872: Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

Vorgestellte Ausgabe

ISBN 10:  3540287876 ISBN 13:  9783540287872
Verlag: Springer, 2005
Hardcover