Logo

A Second Course in Logic by Christopher Gauker

Small book cover: A Second Course in Logic

A Second Course in Logic
by

Publisher: University of Cincinnati
Number of pages: 172

Description:
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, the undecidability of first-order logic, a smattering of second=order logic, and modal logic (both propositional and quantificational).

Download or read it online for free here:
Download link
(2.4MB, PDF)

Similar books

Book cover: Formal LogicFormal Logic
- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(10123 views)
Book cover: forall x: An Introduction to Formal Logicforall x: An Introduction to Formal Logic
by
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(13086 views)
Book cover: Algebraic LogicAlgebraic Logic
by
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
(12596 views)
Book cover: The Art of LogicThe Art of Logic
by - University of Pittsburgh
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
(8802 views)