01334nam0-2200445---450 99001009146040332120180531132927.0978-0-521-54310-1001009146FED01001009146(Aleph)001009146FED0100100914620160715d2004----km-y0itay50------baengUS--------001yyLogic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark Ryan2nd ed.New YorkCambridge University Pressc2004XIV, 427 p.25 cmLogica matematicaInformatica0511.3Huth,Michael725924Ryan,Mark750712ITUNINARICAUNIMARCBK99001009146040332113 H 66 100876 / 2016FINBC13 H 66 110877 / 2016FINBC13 H 66 120878 / 2016FINBC13 64 101962 / 2018FINBC23 14 C 010879 / 2016FINAG23 14 C 020880 / 2016FINAG23 14 C 030881 / 2016FINAG23 14 C 471963 / 2018FINAGFINBCFINAGLogic in computer science1510160UNINA