×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Mathematical Logic: A First Course
  • Alternative view 1 of Mathematical Logic: A First Course
  • Alternative view 2 of Mathematical Logic: A First Course
     

Mathematical Logic: A First Course

by Joel W. Robbin
 

See All Formats & Editions


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

Overview


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.

Product Details

ISBN-13:
9780486450186
Publisher:
Dover Publications
Publication date:
07/07/2006
Series:
Dover Books on Mathematics Series
Pages:
224
Sales rank:
1,275,445
Product dimensions:
5.30(w) x 8.40(h) x 0.60(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews