Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)