Gradel, Erich

Finite model theory and its applications - Berlin: Springer, 2007 - xi, 437 p.; ill.: 24 cm. - Texts in theoretical computer science .

9783540004288 (hbk)


Mathematical models
Model theory

511.34 / GRA

Powered by Koha