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
Topics in Logic and Foundationsby Stephen G. Simpson - The Pennsylvania State University
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.
(2212 views)
Logic for Computer Science- Wikibooks
This book provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.
(7178 views)
Lectures on Linear Logicby 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.
(9381 views)
Symbolic Logic: A First Courseby Gary Hardegree - Mcgraw-Hill College
Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.
(11168 views)