LOGIC - Brody, Baruch A. (Englewood Cliffs Prentice-Hall)
Keywords: Logic