Predicate & Propositional Calculus in Professional Science

Mathematics of Discrete Structures for Computer Science

Proof Theory: Second Edition (Dover Books on Mathematics)

Games for Your Mind: The History and Future of Logic Puzzles

First Course in Mathematical Logic (Dover Books on Mathematics)

What Is Mathematical Logic? (Dover Books on Mathematics)

Weaving Self-Evidence: A Sociology of Logic (Princeton Studies in Cultural Sociology)

Propositional and Predicate Calculus: A Model of Argument

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)