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