Richard E. Hodel
An Introduction to Mathematical Logic
- ISBN 13:
- 9780486497853
- author:
- Richard E. Hodel
- format:
- Paperback
- publisher:
- Dover Publications Inc.
- language:
- English
- Publication Year:
- 2013
- Pages:
- 512
- Dimensions:
- 6.10 (w) x 9.20 (h) x 1.20 (d)
- Genre:
- Logic, Logic & Foundations of Mathematics
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
This comprehensive overview of mathematical logic provides a thorough coverage suitable for readers from various backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, it also contains much of interest to advanced students in computer science and philosophy.
The text begins with an introductory section before delving into chapters on propositional logic and first-order languages and logic. It then shifts its focus to the interplay between mathematics and logic, exploring topics such as Godel's theorems, recursive functions, computability theory, and Hilbert's Tenth Problem.
Helpful exercises appear throughout the text, accompanied by an appendix offering background on number theory. This Dover republication of a previously published edition offers valuable insights into mathematical logic for those looking to expand their knowledge.
Related Products
Related Products
Logic is not Mathematical (Studies in Logic)
Slater, Hartley
Introduction to Logic
Irving M Copi , Carl Cohen , Kenneth McMahon
Logic: An Introduction
Restall, Greg
Introduction to Logic
Suppes, Patrick
The Foundations of Mathematics (Logic)
Kenneth Kunen