An Introduction to Mathematical Logic - Paperback

An Introduction to Mathematical Logic - Paperback

$29.95
Skip to product information
An Introduction to Mathematical Logic - Paperback

An Introduction to Mathematical Logic - Paperback

$29.95

by Richard E. Hodel (Author)

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.

Back Jacket

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.
Dover (2013) republication of the edition published by PWS Publishing Company, Boston, 1995.
See every Dover book in print at
www.doverpublications.com

Author Biography

Richard E. Hodel is Associate Professor Emeritus in the Department of Mathematics at Duke University.

Number of Pages: 512
Dimensions: 1.1 x 8.9 x 5.9 IN
Publication Date: February 20, 2013

Made with care

Great value

Elegant design

Quality materials

Details

This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.

Shipping & Returns

We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.

We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.

Play video

Shop The Full Collection

!Ah y Le Lo Lay, Le Lo Ley! Musica Tipica de Puerto Rico - Paperback

!Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Hardcover

!Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Paperback

!LETTER TO THE UNITED NATIONS! !REPARATIONS NOW! The Many Reasons Why: St. Mark's-in-the-Bowery Church, The Dutch Royal Family, The Kingdom of the Net - Paperback