Elliott Mendelson is professor emeritus in the Department of Mathematics at Queens College.

The Propositional Calculus. First-Order Logic and Model Theory. Formal Number Theory. Axiomatic Set Theory. Computability. Appendices. Answers to Selected Exercises. Bibliography. Notation. Index.