LEADER 01443nam0 2200313 i 450 001 VAN00081055 005 20240806100622.713 010 $a978-08-17-64762-9 100 $a20101210r19892008 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aLogic for computer scientists$fUwe Schoning 205 $a Reprint of the 1989 edition 210 $aBoston$cBirkhäuser$d2008 215 $a166 p.$cill.$d24 cm 410 1$1001VAN00081056$12001 $aModern Birkhäuser classics$1210 $aBoston [etc.]$cBirkhäuser 500 1$3VAN00252811$aLogik für Informatiker$92983362 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 620 $dBoston$3VANL000051 700 1$aSchoning$bUwe$3VANV040365$0543219 712 $aBirkhäuser $3VANV108193$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists.pdf$zSchoning - Logic for computer scientists.pdf 912 $aVAN00081055 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3934 $e08 8971 II a 20101216 $sBuono 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3934 $e08 8972 II b 20101216 $sBuono 996 $aLogik für Informatiker$92983362 997 $aUNICAMPANIA