Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.

Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching c

Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results fr