TY - BOOK AU - Huth, MIchael TI - Logic in computer science: modelling and reasoning about SN - 0-521-67089-6 U1 - 005.115 PY - 2004/// PB - Cambridge University Press KW - COMPUTER ER -