Logic - Donald Kalish (Wadsworth/Thomson Learning, 1980)