00431nam a2200145Ia 450000500170000000800410001702000150005804000100007305000240008310000170010724500840012425000110020826000470021965000190026620251229190525.0251229s9999    xx            000 0 und d  a052154310x  cEULIB  aQA 76.9.L63H88 2004  aHuth,Michael 0aLogic in computer sciencebmodelling and reasoning about systems.cMichael Huth  a2nd ED  aCambridge bUKcCambridge University press  aComputer Logic