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