LOGIC - David T. Wieck. (Holt, Rinehart, Winston, 1981)