Elements of finite model theory /
Hlavní autor: |
Libkin, Leonid, 1965-
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer,
2004.
|
Edice: |
Texts in Theoretical Computer Science. An EATCS Series
|
Předmět: | |