Tom Tymoczko

• Sweet reason
• Sweet Reason A Field Guide To Modern Logic