Introduction to Mathematical Logic - Richard E. Hodel

Introduction to Mathematical Logic by Richard E. Hodel offers a wide-ranging survey of core ideas in mathematical logic. This paperback edition from Dover Publications Inc is a reprint of the PWS Publishing Company, Boston, 1995 edition.

Key details

• Author: Richard E. Hodel
• Format: Paperback
• Pages: 512
• Publisher: Dover Publications Inc
• Publication date: 31 March 2013
• ISBN: 9780486497853

Synopsis

Designed as a comprehensive overview, this text sets out major topics in mathematical logic with a level of rigour suited to advanced study. Coverage includes propositional logic and first-order languages and logic, before moving on to key results and limitations such as incompleteness, undecidability and indefinability.

Further chapters address recursive functions and computability, alongside discussion of Hilbert’s Tenth Problem. It is intended primarily for advanced undergraduates and graduate students of mathematics, and will also interest advanced students in computer science and philosophy.

Rackhams Reference : JM5Z9MBILL