00520    a2200181   4500001000700000003000400007005001700011008004100028082002200069100001800091245010100109260004100210300001000251653002100261653001900282653002200301700001500323131533OSt20211028111554.0                                          a005.1015113bH97L1 aHuth, Michael1 aLogic in computer science : modelling and reasoning about systemscby Michael Huth and Mark Ryan  aUKbCambridge university pressc2010  a427p.  aComputer Science  aComputer logic  aLogic programming  aRyan, Mark