01326nam0 2200301 i 450 VAN0005541020240806100510.23305-216-5602-820061107d2000 |0itac50 baengGB|||| |||||Logic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark RyanCambridgeCambridge University2000XVIII, 387 p.26 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFCambridgeVANL000024HuthMichaelVANV043912725924RyanMarkVANV043913Cambridge University <editore>VANV107986650ITSOL20250124RICAhttp://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-CE0120VAN08VAN00055410BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2003 08 6569 I 20061107 Logic in computer science1424854UNICAMPANIA