LEADER 02287nam0 22004693i 450 001 VAN00286916 005 20250417022651.453 017 70$2N$a9783540471356 100 $a20250213d1990 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogic and Computer Science$eLectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988$fS. Homer ... [et al.]$gEditor: P. Odifreddi 210 $aBerlin$cSpringer-Verlag$d1990 215 $a153 p.$d24 cm 410 1$1001VAN00050834$12001 $aLecture notes in mathematics. Fondazione CIME. Firenze$1210 $aBerlin$cSpringer$1300 $aDal 2011: C.I.M.E. Foundation Subseries 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1429 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 610 $aComputer Science$9KW:K 610 $aLogic$9KW:K 610 $aProgramming$9KW:K 610 $aProofs$9KW:K 620 $dBerlin$3VANL000066 702 1$aOdifreddi$bPiergiorgio$3VANV004602$4340 702 1$aHomer$bSteven$3VANV045376 710 02$aCentro internazionale matematico estivo$3VANV021913$0284620 712 $aSpringer $3VANV108073$4650 791 02$aC.I.M.E.$zCentro internazionale matematico estivo$3VANV021914 791 02$aCIME $zCentro internazionale matematico estivo$3VANV021915 801 $aIT$bSOL$c20250418$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0093921$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 $aVAN00286916 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 10680 $e08eMF10680 20250228 996 $aLogic and Computer Science$94312059 997 $aUNICAMPANIA