Search Results       Your search for [author]Reeves, Steve, 1957- returned 1 record.           Logic for computer science. by Reeves, Steve, 1957-; Wokingham, England: Addison-Wesley, 1990. Subject: Logic, Symbolic and mathematical.          Add to Book Cart Relevance: 27.49%