BOOK

Finite Model Theory

---

This book provides a concise yet comprehensive introduction to finite model theory, the branch of logic studying the properties of logical structures with finite domains. The second edition expands the focus to include descriptive complexity theory, connecting logic with computational complexity. Key topics include Ehrenfeucht–Fraïssé games, 0–1 laws, fixed-point logics, and applications in databases and computer science. Designed for graduate students and researchers, it offers both theoretical insights and practical relevance for logic and theoretical computer science.

---

Availability

Detail Information

Series Title

-

Call Number

519.533 E15

Publisher

: SPRINGER., 2005

Collation

-

Language

English

ISBN/ISSN

3540287876

Classification

519.533

Content Type

-

Media Type

-

Carrier Type

-

Edition

2th

Subject(s)

-

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment