Sweet Reason: A Guide to Modern Logic