An Introduction to Mathematical Logic
Author | : Richard E. Hodel |
Publisher | : Brooks/Cole |
Total Pages | : 520 |
Release | : 1995 |
ISBN-10 | : UOM:39015033254866 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis An Introduction to Mathematical Logic by : Richard E. Hodel
Download or read book An Introduction to Mathematical Logic written by Richard E. Hodel and published by Brooks/Cole. This book was released on 1995 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: A mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing Godel's theorem building to Hilbert's Tenth Problem. Topics discussed include propositional logic, first order languages and first order logic against a background of logic and mathematics.