LEADER 01324nam0 2200301 i 450 
001 VAN0055410
005 20240214090133.454
010   $a05-216-5602-8
100   $a20061107d2000       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aLogic 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]$3VANC019670$2MF
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
620   $dCambridge$3VANL000024
700  1$aHuth$bMichael$3VANV043912$0725924
702  1$aRyan$bMark$3VANV043913
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20240216$gRICA
856 4 $uhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=it$zhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=it
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0055410
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2003        $e08   6569      I       20061107            
996   $aLogic in computer science$91424854
997   $aUNICAMPANIA