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

Ebbinghaus, Heinz-Dieter; Flum, Jörg

ISBN 10: 3540287876 / ISBN 13: 9783540287872

Verlag: Springer, 2005

Beschreibung

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Bestandsnummer des Verkäufers SHUB266419

Bibliografische Details

• Titel: Finite Model Theory: Second Edition (Springer Monographs in Mathematics)
• Verlag: Springer
• Erscheinungsjahr: 2005
• Sprache: Englisch
• ISBN-10: 3540287876
• ISBN-13: 9783540287872
• Einband: Hardcover
• Auflage: 2. Auflage
• Zustand: Neu

Über diesen Titel

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.