Introduction to Mathematical Logic

Richard E. Hodel (Autor)

Buch | Softcover

512 Seiten

2013
Dover Publications Inc. (Verlag)
978-0-486-49785-3 (ISBN)

Artikel merken

Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.

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.

Preface
1. Background
2. Language and Semantics of Propositional Logic
3. Propositional Logic
4. First-Order Languages
5. First-Order Logic
6. Mathematics and Logic
7. Incompleteness, Undecidability and Indefinability
8. Recursive Functions
9. Compatability Theory
10. Hilbert's Tenth Problem
Appendix: Number Theory
References and recommended readings
Index

Sprache	englisch
Maße	156 x 235 mm
Gewicht	644 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-486-49785-2 / 0486497852
ISBN-13	978-0-486-49785-3 / 9780486497853
Zustand	Neuware