01324nam0 2200301 i 450 VAN005541020240214090133.45405-216-5602-820061107d2000 |0itac50 baengGB|||| |||||Logic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark RyanCambridgeCambridge University2000XVIII, 387 p.26 cm68-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFCambridgeVANL000024HuthMichaelVANV043912725924RyanMarkVANV043913Cambridge university <editore>VANV107986650ITSOL20240216RICAhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=ithttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=itBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055410BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2003 08 6569 I 20061107 Logic in computer science1424854UNICAMPANIA