Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most o

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o

"This book is intended for readers who, while mature mathematically, have no knowledge of mathematical logic. We attempt to introduce the reader to the most imp