Finite Model Theory
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1995 |
| Authors | Jörg Flum |
| Heinz-Dieter Ebbinghaus | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3105373 |
About Finite Model Theory
Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. . . .