LEADER 01687nam0 2200337 i 450 
001 SUN0051323
005 20191219111454.874
010   $a978-08-17-63453-7$d0.00
010   $a37-643-3453-3
100   $a20060906d1989       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Logic for computer scientists$fUwe Schoning
210   $aBoston$cBirkhäuser$d1989
215   $a166 p.$cill.$d24 cm.
410  1$1001SUN0052679$12001 $a*Progress in computer science and applied logic$v8$1210  $aBoston$cBirkhäuser$d1982-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a68N17$xLogic programming [MSC 2020]$2MF$3SUNC020586
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $dBoston$3SUNL000051
700  1$aSchoning$b, Uwe$3SUNV040365$0543219
712   $aBirkhäuser$3SUNV000319$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists 1989.pdf$zContents
912   $aSUN0051323
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3934        $e08DMF576       I b     20200128            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   3934        $e08DMF575       I a     20200128            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3934        $e08   5609      I       20060906            $sDeteriorato
996   $aLogic for computer scientists$91420131
997   $aUNICAMPANIA