Introduction to Mathematical Logic

Richard E. Hodel

ISBN 10: 0486497852 / ISBN 13: 9780486497853

Verlag: Dover Publications Inc., US, 2013

Beschreibung

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience 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, 1995edition.

Bestandsnummer des Verkäufers LU-9780486497853

Bibliografische Details

• Titel: Introduction to Mathematical Logic
• Verlag: Dover Publications Inc., US
• 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.