HUTCH MICHAEL;RYAN MARK LOGIC IN COMPUTER SCIENCE MODELING AND REASONING ABOUT SYSTEMS - 2ND - NEWYORK TAYLOR AND FRANCIS 2008 - 427 ISBN: 978051670840 Subjects--Topical Terms: "Computer ScIence,Data Processing" Dewey Class. No.: 4