Sweet Reason A Field Guide to Modern Logic 2nd Edition - James M. Henle & Jay L. Garfield & Thomas Tymoczko