A logic book - Johnson, Robert M. (Wadsworth, 1987)