Logic - Baum Robert; Wieck David (New York Holt, Rinehart and Winston, 1981)
Keywords: LOGIC