LEADER 01676nam0 2200337 i 450 001 VAN0051323 005 20240313030633.825 010 $a978-08-17-63453-7 100 $a20060906d1989 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic for computer scientists$fUwe Schoning 210 $aBoston$cBirkhäuser$d1989 215 $a166 p.$cill.$d24 cm 410 1$1001VAN0052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v8 500 1$3VAN0252811$aLogik für Informatiker$92983362 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 620 $dBoston$3VANL000051 700 1$aSchoning$bUwe$3VANV040365$0543219 712 $aBirkhäuser $3VANV108193$4650 801 $aIT$bSOL$c20240315$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists 1989.pdf$zContents 912 $aVAN0051323 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 3934 $e08DMF575 I a 20200128 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3934 $e08 5609 I 20060906 $sDeteriorato 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3934 $e08DMF576 I b 20200128 996 $aLogik für Informatiker$92983362 997 $aUNICAMPANIA