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