Table
of contents
- Introduction
- Preliminaries
- Ehrenfeucht-Fraisse Games
- Locality and Winning Games
- Ordered Structures
- Complexity of First-Order Logic
- Monadic Second-Order Logic and Automata
- Logics with Counting
- Turing Machines and Finite Models
- Fixed Point Logics and Complexity Classes
- Finite variable logics
- Zero-one laws
- Embedded Finite Models
- Other applications of finite model theory.
Bibliography, List of Notation,
Index,
Name Index. |
Ordering:
|