LEADER 02184nam0 2200361 i 450 
001 SUN0045008
005 20151120101600.498
010   $a978-18-523-3319-5$d0.00
100   $a20060517d2001       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aMathematical logic for computer science$fMordechai Ben-Ari
205   $a2. ed
210   $aLondon$cSpringer$d2001
215   $aXIV, 304 p.$cill.$d24 cm.
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $aGB$dLondon$3SUNL000015
700  1$aBen Ari$b, Mordechai$3SUNV036315$05385
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20200921$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdf$zContents
912   $aSUN0045008
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08   8668      I b     20091125            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08   8669      I c     20091125            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08   8670      I d     20091125            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   0322        $e08   5760      I a     20060915            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08VS 4314      I e     20060915            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08VS 4608      I f     20060517            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0322        $e08VS 4609      I g     20060517            
996   $aMathematical logic for computer science$91020153
997   $aUNICAMPANIA