LEADER 01938nam2 22004813i 450 001 VAN00297150 005 20251008113331.103 017 70$2N$a9783709194614 100 $a20250725d1996 |0itac50 ba 101 $aeng 102 $aAT 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 0 $aVolume 2$fKurt-Gödel-Gesellschaft 210 $aWien$aNew York$cSpringer$d1996 215 $a137 p.$cill.$d24 cm 461 1$1001VAN00295492$12001 $aCollegium Logicum$eAnnals of the Kurt-Godel-Society$fKurt-Gödel-Gesellschaft$1210 $aWien$cSpringer$d1995-1996$1215 $a2 volumi$cill.$d24 cm$v2 606 $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$3VANC023985$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aAlgorithm Analysis$9KW:K 610 $aComplexity$9KW:K 610 $aComplexity theory$9KW:K 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aProblem complexity$9KW:K 610 $aProofs$9KW:K 610 $aResolution$9KW:K 610 $aTuring machine$9KW:K 620 $aUS$dNew York$3VANL000011 620 $dWien$3VANL000107 710 02$aKurt-Gödel Society$3VANV251486$01828489 712 $aSpringer $3VANV108073$4650 791 02$aKurt-Gödel-Gesellschaft$zKurt-Gödel Society$3VANV251487 801 $aIT$bSOL$c20251010$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-7091-9461-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00297150 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12273 $e08eMF12273 20250924 996 $aVolume 2$94410969 997 $aUNICAMPANIA