Finite Model Theory by Heinz-Dieter Ebbinghaus, Jörg Flum

Finite Model Theory



Download Finite Model Theory




Finite Model Theory Heinz-Dieter Ebbinghaus, Jörg Flum
Language: English
Page: 360
Format: pdf
ISBN: 3540287876,
Publisher: Springer

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.

MORE EBOOKS:
Download The Diva Next Door: How to Be a Singing Star Wherever You Are pdf







Tags: Download Finite Model Theory ebook
Download Finite Model Theory ebook pdf
Download Finite Model Theory ebook djvu
Download Finite Model Theory ebook epub
Finite Model Theory ebook
Finite Model Theory download
Finite Model Theory download book
Finite Model Theory ebook pdf
Finite Model Theory ebook djvu
Finite Model Theory ebook epub
Heinz-Dieter Ebbinghaus, Jörg Flum ebooks