John Matthew Plecnik

• A user-friendly introduction to logic