Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory.
eBay