Koha online

Normal view MARC view ISBD view

Libkin, Leonid

Elements of finite model theory - Berlin: Springer-Verlag, 2004 - xiv, 315 p.; : 24 cm. - Texts in theoretical computer science .

ISBN: 3540212027 (hbk)

Subjects--Topical Terms:
Libkin, Leonid
Database
Finite model theory
Mathematical logic

Dewey Class. No.: 511.3 / LIB