Logic - Baum, Robert (Rinehart, 1975)