Finite model theory /
Hlavní autor: |
Ebbinghaus, Heinz-Dieter, 1939-
(
Autor )
|
---|---|
Další autoři: |
Flum, Jörg, 1944-
(
Autor )
|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer,
c2006.
|
Vydání: | 2nd rev. and enl. ed. |
Edice: |
Springer monographs in mathematics
|
Předmět: | |