LEADER 01386nam0 2200337 i 450 
001 SUN0053137
005 20170929113714.223
010   $a03-87570-73-X$d0.00
010   $a978-35-405-7073-8
100   $a20060925d1997       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aThe *classical decision problem$fEgon Boerger, Erich Grädel, Yuri Gurevich
210   $aBerlin$cSpringer$d1997
215   $aXII, 482 p$cill$d24 cm.
410  1$1001SUN0050817$12001 $a*Perspectives in mathematical logic$1210  $aBerlin$cSpringer$d1987-1997.
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386
606   $a03Cxx$xModel theory [MSC 2020]$2MF$3SUNC024387
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $dBerlin$3SUNL000066
700  1$aBörger$b, Egon$3SUNV041932$051951
701  1$aGrädel$b, Erich$3SUNV041933$060991
701  1$aGurevich$b, Yuri$3SUNV041934$060992
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20200921$gRICA
912   $aSUN0053137
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0507        $e08   4476      I       20060925            
996   $aClassical decision problem$981589
997   $aUNICAMPANIA