01386nam0 2200337 i 450 SUN005313720170929113714.22303-87570-73-X0.00978-35-405-7073-820060925d1997 |0engc50 baengDE|||| |||||The *classical decision problemEgon Boerger, Erich Grädel, Yuri GurevichBerlinSpringer1997XII, 482 pill24 cm.001SUN00508172001 *Perspectives in mathematical logic210 BerlinSpringer1987-1997.68QxxTheory of computing [MSC 2020]MFSUNC01994903DxxComputability and recursion theory [MSC 2020]MFSUNC02438603CxxModel theory [MSC 2020]MFSUNC02438703BxxGeneral logic [MSC 2020]MFSUNC024425BerlinSUNL000066Börger, EgonSUNV04193251951Grädel, ErichSUNV04193360991Gurevich, YuriSUNV04193460992SpringerSUNV000178650ITSOL20200921RICASUN0053137UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0507 08 4476 I 20060925 Classical decision problem81589UNICAMPANIA