Discrete Mathematics and Computer Science, By Ken Bogart and Cliff Stein
Expert Systems, By Joseph D. Bronzino and Ralph A. Morelli