**A Second Course in Logic**

by Christopher Gauker

**Publisher**: University of Cincinnati 2013**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

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

**7435**views)

**The Algebra of Logic**

by

**Louis Couturat**-

**Project Gutenberg**

Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.

(

**8538**views)

**The Principles Of Mathematics**

by

**Bertrand Russell**-

**W. W. Norton & Company**

Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.

(

**9485**views)

**Lectures on Linear Logic**

by

**A. S. Troelstra**-

**CSLI**

This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

(

**8808**views)