LEADER 01180nam0 2200289 i 450 
001 SUN0055410
005 20160331102532.922
010   $a05-216-5602-8$d0.00
100   $a20061107d2000       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Logic in computer science$emodelling and reasoning about systems$fMichael Huth, Mark Ryan
210   $aCambridge$cCambridge University$d2000
215   $aXVIII, 387 p.$d26 cm.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
620   $dCambridge$3SUNL000024
700  1$aHuth$b, Michael$3SUNV043912$0725924
702  1$aRyan$b, Mark$3SUNV043913
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $uhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=it
912   $aSUN0055410
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2003        $e08   6569      I       20061107            
996   $aLogic in computer science$91424854
997   $aUNICAMPANIA