Elements of finite model theory /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Berlin : Springer, 2004.
Edice: Texts in Theoretical Computer Science. An EATCS Series
Předmět: