Mathematical Logic: A First Course

Front Cover
Dover Publications, Jul 7, 2006 - Mathematics - 238 pages
Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds — including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Prepositional Calculus
1
1 Formation Rules for P
4
2 Formal Semantics of P
8
Copyright

63 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information