Books by John Etchemendy

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

The aim of this book is to correct a common misunderstanding of a technique of mathematical logic.