Intermediate / Advanced Logic

Showing all 3 results

  • An Introduction to Metalogic

    An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the…

  • An Introduction to Logical Theory

    This book reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic (term, sentence,…

  • Logical Options

    Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic…