For courses in Symbolic Logic Designed for those who have no prior background in logic, philosophy, or mathematics, this comprehensive introduction covers all the standard topics of symbolic logic through relational predicate logic with identity. Understanding Symbolic Logic, Fifth Edition, is completely reader-friendly. All concepts and theories are presented in small "bites," helping students to master the concepts of symbolic logic with confidence.

An introductory course in symbolic logic, designed for classroom use or self-study.

Designed for a first, college-level course in Symbolic Logic, in class or online. Covers Sentential Logic, Natural Deduction, Truth Trees, Predicate Logic and Quantifier Logic.

This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.