Huth, Michael Logic In Computer Science Modelling and Reasoning about Systems - New Delhi Cambridge University Press 2011 - xiv+427 Logic,in,Computer,Science,Logic in Computer Science ISBN: 978-0-521-67080-0 Subjects--Topical Terms: Logic in Computer Science