Intermediate / Advanced Logic

  • 9781554811717.jpg

    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…

  • 9781551119939.jpg

    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,…

  • 9781551112978.jpg

    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…