Finite Model Theory

✍ Scribed by Heinz-Dieter Ebbinghaus, Jörg Flum

Publisher: Springer
Year: 2005
Tongue: English
Leaves: 362
Series: Springer monographs in mathematics
Edition: 2nd
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus, Jörg Flum 📂 Library 📅 2006 🏛 Springer 🌐 English

This is a thoroughly revised and enlarged second edition (the first edition was published in the "Perspectives in Mathematical Logic" series in 1995) that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus, Jörg Flum 📂 Library 📅 1995 🏛 Springer 🌐 English

This is the first edition. The second edition was published in the "Springer Monographs in Mathematics" series in 2005. The branch of model theory described in the present book and called finite model theory has its roots in classical model theory but owes its systematic development to research

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus and Jörg Flum 📂 Library 📅 1999/2006 🏛 Springer 🌐 English

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 Tarsk

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus, Jörg Flum 📂 Library 📅 2005 🏛 Springer 🌐 English

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus, Jörg Flum 📂 Library 📅 2005 🏛 Springer 🌐 English

Finite Model Theory

📁 Finite Model Theory

✍ Heinz-Dieter Ebbinghaus, Jörg Flum 📂 Library 📅 2005 🏛 Springer 🌐 English