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 LEADER 01255nam 2200337 450 001 9910705862503321 005 20170914151225.0 035 $a(CKB)5470000002453791 035 $a(OCoLC)1003646049 035 $a(EXLCZ)995470000002453791 100 $a20170914d2009 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCTR system report - 2008 FISMA /$fU.S. Securities and Exchange Commission, Office of Inspector General, Office of Audits 205 $a[Redacted] public version. 210 1$aWashington, D.C. :$cUnited States Securities and Exchange Commission, Office of Inspector General,$d2009. 215 $a1 online resource (18 pages) 225 1 $aReport ;$vno. 462 300 $a"February 27, 2009." 517 3 $aComplaints/Tips/Referrals system report - 2008 Federal Information Security Management Act 606 $aComplaints (Administrative procedure)$xData processing$xEvaluation 615 0$aComplaints (Administrative procedure)$xData processing$xEvaluation. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910705862503321 996 $aCTR system report - 2008 FISMA$93354630 997 $aUNINA