Search Results

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

Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpr

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