Borger, Egon. Gradel, Erich. Gurevich, Yuri.
Classical Decision Problem - Berlin Springer Verlag 1997 - 482p - Perspectives in Mathematical Logic .
3 540 57073 X
Classical Decision Problem
510.5 BOR
Classical Decision Problem - Berlin Springer Verlag 1997 - 482p - Perspectives in Mathematical Logic .
3 540 57073 X
Classical Decision Problem
510.5 BOR