LEADER 01536nam0 2200361 i 450 
001 VAN00053137
005 20241211113812.722
010   $a03-87570-73-X
010   $a978-35-405-7073-8
100   $a20060925d1997       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aˆThe ‰classical decision problem$fEgon Boerger, Erich Grädel, Yuri Gurevich
210   $aBerlin$cSpringer$d1997
215   $aXII, 482 p$cill$d24 cm
410  1$1001VAN00050817$12001 $aPerspectives in mathematical logic$1210  $aBerlin$cSpringer
606   $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF
606   $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF
606   $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF
620   $dBerlin$3VANL000066
700  1$aBörger$bEgon$3VANV041932$051951
701  1$aGrädel$bErich$3VANV041933$060991
701  1$aGurevich$bYuri$3VANV041934$060992
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20241213$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/ID 53137.pdf$zID 53137.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00053137
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0507        $e08   4476      I       20060925            
996   $aClassical decision problem$981589
997   $aUNICAMPANIA