LEADER 01550nam0 2200349 i 450 001 VAN00044783 005 20260211112624.273 010 $a978-35-406-7895-3 100 $a20060503d2000 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aComputer science logic$e14. international workshop, CSL 2000, Annual conference of the EACSL$eFischbachau, Germany, August 21-26, 2000$eproceedings$fPeter G. Clote, Helmut Schwichtenberg (eds.) 210 $aBerlin$cSpringer$d2000 215 $aXIII, 541 p.$d24 cm 410 1$1001VAN00029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v1862 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 620 $dBerlin$3VANL000066 702 1$aClote$bPeter G.$3VANV036107$4340 702 1$aSchwichtenberg$bHelmut$3VANV036106$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20260213$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Clote, Schwichtenberg - Computer science logic.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00044783 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0865 $e08 6731 II 20060503 996 $aComputer Science Logic$9771972 997 $aUNICAMPANIA