Introduction to Mathematical Logic (Dover Books on Mathematics)

Hodel

ISBN 10: 0486497852 / ISBN 13: 9780486497853

Published by Dover Publications Inc. 2013-02-01, 2013

About this Item

Seller Inventory # 6666-ING-9780486497853

Bibliographic Details

Title: Introduction to Mathematical Logic (Dover ...

Publisher: Dover Publications Inc. 2013-02-01

Publication Date: 2013

Binding: Paperback

Condition: New

About this title

Synopsis:

This comprehensive overview of
mathematical logic is 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. 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, 1995
edition.

About the Author:

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