An Introduction to Mathematical Logic

An Introduction to Mathematical Logic
Author: Richard E. Hodel
Publisher: Courier Corporation
Total Pages: 514
Release: 2013-01-01
Genre: Mathematics
ISBN: 0486497852

Download An Introduction to Mathematical Logic Book in PDF, Epub and Kindle

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.