This book presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intu

This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlyin

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set

This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in p