Welcome to E-Books Directory
This is a freely downloadable e-book.

A Second Course in Logic

A Second Course in Logic
by Christopher Gauker

Publisher: University of Cincinnati 2010
Number of pages: 166

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).

Home page url

Download or read it online here:

Download link

 (3MB, PDF)