TY  - BOOK
AU  - Borger, Egon
AU  - Gradel, Erich
AU  - Gurevich, Yuri
TI  - Classical decision problem
SN  - 3-540-57073-X
U1  - 511.3 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Decision problem
KW  - Mathematical logic
ER  -