LEADER 01745nam2 22004093i 450 
001 VAN00295493
005 20250916015544.664
017 70$2N$a9783709193945
100   $a20250624d1995       |0itac50      ba
101   $aeng
102   $aAT
105   $a||||    |||||
181   $ai$b   e  
182   $ab
183   $acr
200 0 $aVolume 1$fKurt-Gödel-Gesellschaft
210   $aWien$cSpringer$d1995
215   $a122 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$v1
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 and problem complexity$9KW:K
610   $aAutomated deduction$9KW:K
610   $aCompleteness$9KW:K
610   $aLogic programming$9KW:K
620   $dWien$3VANL000107
710 02$aKurt-Gödel Society$3VANV251486$01828489
712   $aSpringer <editore>$3VANV108073$4650
791 02$aKurt-Gödel-Gesellschaft$zKurt-Gödel Society$3VANV251487
801   $aIT$bSOL$c20250919$gRICA
856 4 $uhttps://doi.org/10.1007/978-3-7091-9394-5$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   $aVAN00295493
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD     e-Book                  11987       $e08eMF11987             20250728            
996   $aVolume 1$94397400
997   $aUNICAMPANIA