TY - BOOK AU - Huth, Michael AU - Ryan, Mark TI - Logic In Computer Science: Modelling and Reasoning about Systems SN - 978-0-521-67080-0 PY - 2011/// CY - New Delhi PB - Cambridge University Press KW - Logic in Computer Science N2 - Logic,in,Computer,Science,Logic in Computer Science ER -