Search results
- The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. Berlin ; Heidelberg ; New York : Springer, 2001 . x, 482 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Finite model theory and its applications / Erich Grädel ... [et al.]. Berlin : Springer, 2007 . xi, 437 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book