Welcome to E-Books Directory
This is a freely downloadable e-book.
A Second Course in Logic by Christopher Gauker
Read this book online or download it here for free
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).