Mathematical Logic

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