Finite model theory /
Finite model theory has its origins in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their comp...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1995]
|
| Series: | Perspectives in mathematical logic.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
by Ebbinghaus, Heinz-Dieter, 1939-
Published 2005
Connect to the full text of this electronic bookPublished 2005
eBook
Search Result 2
