LEADER 01334nam0-2200445---450 
001 990010091460403321
005 20180531132927.0
010   $a978-0-521-54310-1
035   $a001009146
035   $aFED01001009146
035   $a(Aleph)001009146FED01
035   $a001009146
100   $a20160715d2004----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $a--------001yy
200 1 $aLogic in computer science$emodelling and reasoning about systems$fMichael Huth, Mark Ryan
205   $a2nd ed.
210   $aNew York$cCambridge University Press$dc2004
215   $aXIV, 427 p.$d25 cm
610 0 $aLogica matematica
610 0 $aInformatica
676   $a0511.3
700  1$aHuth,$bMichael$0725924
701  1$aRyan,$bMark$0750712
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990010091460403321
952   $a13 H 66 10$b0876 / 2016$fFINBC
952   $a13 H 66 11$b0877 / 2016$fFINBC
952   $a13 H 66 12$b0878 / 2016$fFINBC
952   $a13 64 10$b1962 / 2018$fFINBC
952   $a23 14 C 01$b0879 / 2016$fFINAG
952   $a23 14 C 02$b0880 / 2016$fFINAG
952   $a23 14 C 03$b0881 / 2016$fFINAG
952   $a23 14 C 47$b1963 / 2018$fFINAG
959   $aFINBC
959   $aFINAG
996   $aLogic in computer science$91510160
997   $aUNINA