Description: | 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 |