Sweet Reason: A Field Guide to Modern Logic, 2nd Edition