In this book we continue the study of logic that began in Book 1 with the development of the propositional calculus. Here we develop an even more powerful logical system, the predicate calculus. We will develop this logical system to help us analyze arguments concerning set theory and will deepen our knowledge of this very important branch of mathematics.

Geometry (0-12)