Symbolic logic - Jacquette, Dale 1953-2016 (Wadsworth, 2001)