Logic - Baum, Robert 1941- (Holt, Rinehart, and Winston, 1989)