An Introduction to Mathematical Logic
Author | : Richard E. Hodel |
Publisher | : Courier Corporation |
Total Pages | : 514 |
Release | : 2013-01-01 |
ISBN-10 | : 9780486497853 |
ISBN-13 | : 0486497852 |
Rating | : 4/5 (852 Downloads) |
Download or read book An Introduction to Mathematical Logic written by Richard E. Hodel and published by Courier Corporation. This book was released on 2013-01-01 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.