Introduction to Mathematical Logic (Dover Books on Mathematics)

Hodel

ISBN 10: 0486497852 / ISBN 13: 9780486497853

Verlag: Dover Publications Inc. 2013-02-01, 2013

Beschreibung

Bestandsnummer des Verkäufers 6666-GRD-9780486497853

Bibliografische Details

• Titel: Introduction to Mathematical Logic (Dover Books on Mathematics)
• Verlag: Dover Publications Inc. 2013-02-01
• Erscheinungsjahr: 2013
• Sprache: Englisch
• ISBN-10: 0486497852
• ISBN-13: 9780486497853
• Einband: Paperback
• Zustand: New

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

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