HUTH MICHAEL LOGIC IN COMPUTER SCIENCE - 2ND - CAMBRIDGE UNIVERSITY PRESS 2012 - 427 P ISBN: 9780521670890 Subjects--Topical Terms: MATHEMATICS Dewey Class. No.: 510 HUT