01033nam0-22003851i-450-9900014938004033213-540-42324-9000149380FED01000149380(Aleph)000149380FED01000149380--------d--------km-y0itay50------baeng<<The >>Classical Decision ProblemEgon Borger, Erich Gradel, Yuri GurevichBerlinSpringer-Verlag2001xii, 482 p.24 cmUniversitextsecond printLogica matematicaLogica pura del primo ordineTeoria dei modelli511.3Borger,EgonGradel,ErichGurevich,YuriITUNINARICAUNIMARCBK990001493800403321C-6-(11918493MA1MA103-0203B1003B25Classical Decision Problem377621UNINA