LEADER 01878nam0 22004333i 450 001 VAN00290034 005 20250616015855.886 017 70$2N$a9781461228226 100 $a20250326d1992 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogic from Computer Science$eProceedings of a Workshop held November 13?17, 1989$fYiannis N. Moschovakis editor 210 $aNew York [etc.]$cSpringer-Verlag$d1992 215 $axi, 608 p.$d24 cm 410 1$1001VAN00056786$12001 $aMathematical sciences research institute publications$1210 $aNew York$cSpringer$d1984-$1300 $aDal volume 28 la collana è edita dalla Cambridge university$v21 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 $aComplexity$9KW:K 610 $aForcing$9KW:K 610 $aGrammars$9KW:K 610 $aLogic$9KW:K 610 $aProofs$9KW:K 610 $aSemantics$9KW:K 620 $aUS$dNew York$3VANL000011 702 1$aMoschovakis$bYannis N.$3VANV046759$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250620$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-2822-6$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 $aVAN00290034 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 11213 $e08eMF11213 20250528 996 $aLogic from computer science$982112 997 $aUNICAMPANIA