01536nam0 2200361 i 450 VAN0005313720241211113812.72203-87570-73-X978-35-405-7073-820060925d1997 |0itac50 baengDE|||| |||||ˆThe ‰classical decision problemEgon Boerger, Erich Grädel, Yuri GurevichBerlinSpringer1997XII, 482 pill24 cm001VAN000508172001 Perspectives in mathematical logic210 BerlinSpringer03BxxGeneral logic [MSC 2020]VANC024425MF03CxxModel theory [MSC 2020]VANC024387MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF68QxxTheory of computing [MSC 2020]VANC019949MFBerlinVANL000066BörgerEgonVANV04193251951GrädelErichVANV04193360991GurevichYuriVANV04193460992Springer <editore>VANV108073650ITSOL20241213RICA/sebina/repository/catalogazione/documenti/ID 53137.pdfID 53137.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00053137BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0507 08 4476 I 20060925 Classical decision problem81589UNICAMPANIA