01447nam0 2200349 i 450 VAN005313720240208033101.61903-87570-73-X978-35-405-7073-820060925d1997 |0itac50 baengDE|||| |||||ˆThe ‰classical decision problemEgon Boerger, Erich Grädel, Yuri GurevichBerlinSpringer1997XII, 482 pill24 cm001VAN00508172001 Perspectives in mathematical logic210 BerlinSpringer68QxxTheory of computing [MSC 2020]VANC019949MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03CxxModel theory [MSC 2020]VANC024387MF03BxxGeneral logic [MSC 2020]VANC024425MFBerlinVANL000066BörgerEgonVANV04193251951GrädelErichVANV04193360991GurevichYuriVANV04193460992Springer <editore>VANV108073650ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053137BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0507 08 4476 I 20060925 Classical decision problem81589UNICAMPANIA