LEADER 01372nam0 2200301 i 450 
001 SUN0081055
005 20191219110637.578
010   $a978-08-17-64762-9$d0.00
100   $a20101210d2008       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Logic 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$1001SUN0081056$12001 $a*Modern Birkhäuser classics$1210  $aBoston$cBirkhäuser$d1980-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
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.pdf$zContents
912   $aSUN0081055
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3934        $e08   8971      II a    20101216            $sBuono
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3934        $e08   8972      II b    20101216            $sBuono
996   $aLogic for computer scientists$91420131
997   $aUNICAMPANIA