Sweet Reason: A Field Guide to Modern Logic.
Sweet reason: a field guide to modern logic (ấn bản 2).