Logic - Baum, Robert (Holt, Rinehart and Winston, 1975)