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 problem81589UNICAMPANIA02027oas 2200781 a 450 991015453650332120251106213014.01938-2723(DE-599)ZDB2230591-9(OCoLC)60626689(CONSER) 2008212657(CKB)954925605791(EXLCZ)9995492560579120050614a19959999 sy aengurun|||||||||txtrdacontentcrdamediacrrdacarrierClinical and applied thrombosis/hemostasis official journal of the International Academy of Clinical and Applied Thrombosis/HemostasisNew York, NY Raven PressThousand Oaks :Sage Publications1 online resourceRefereed/Peer-reviewed1076-0296 CATHHemostasisPeriodicalsThrombosisPeriodicalsHemostasisThrombosisHemostasisfast(OCoLC)fst00955125Thrombosisfast(OCoLC)fst01150428Periodicals.fastPeriodicals.lcgftHemostasisThrombosisHemostasis.Thrombosis.Hemostasis.Thrombosis.616International Academy of Clinical and Applied Thrombosis/Hemostasis,OCLCSOCLCSOCLNSDOCLCQCLUAGLOCLCFVT2OCLCQOCLOCLCQREBOCLCONJTOCLCOOCLCAOCLCQUABUBYOCLCLOCLCQJOURNAL9910154536503321Clinical and Applied Thrombosis2292104UNINA