01180nam0 2200289 i 450 SUN005541020160331102532.92205-216-5602-80.0020061107d2000 |0engc50 baengGB|||| |||||*Logic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark RyanCambridgeCambridge University2000XVIII, 387 p.26 cm.68-XXComputer science [MSC 2020]MFSUNC01967003-XXMathematical logic and foundations [MSC 2020]MFSUNC019750CambridgeSUNL000024Huth, MichaelSUNV043912725924Ryan, MarkSUNV043913Cambridge universitySUNV000097650ITSOL20200720RICAhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=itSUN0055410UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2003 08 6569 I 20061107 Logic in computer science1424854UNICAMPANIA