Börger, Egon, 1946-
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. -- Berlin ; Heidelberg ; New York : Springer, 2001. -- x, 482 s. -- (Universitext ISSN 0172-5939). -- ISBN : 3540423249.
Grädel, Erich, 1958-. Gurevich, Yuri, 1940-
funkcionální analýza. umělá inteligence. matematická logika. počítačová věda. řešení problémů. učebnice vysokých škol
004.8. 510.6:004. 517.98