Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Classical Mathematical Logic: The Semantic Foundations of Logic
In Classical Mathematical Logic setzt Richard L. Epstein die Systeme der mathematischen Logik in Beziehung zu ihren ursprünglichen Beweggründen, das logische Denken in der Mathematik zu formalisieren. Das Buch zeigt auch, wie die mathematische Logik zur Formalisierung bestimmter Systeme der Mathematik verwendet werden kann. Es legt die Formalisierung nicht nur der Arithmetik, sondern auch der Gruppentheorie, der Feldtheorie und der linearen Ordnungen dar. Diese führen zur Formalisierung der reellen Zahlen und der Geometrie der euklidischen Ebene. Der Umfang und die Grenzen der modernen Logik werden in diesen Formalisierungen deutlich.
Das Buch enthält ausführliche Erklärungen aller Beweise und der dahinter stehenden Einsichten sowie detaillierte und nicht triviale Beispiele und Probleme. Das Buch enthält mehr als 550 Übungen. Es kann in fortgeschrittenen Grund- und Aufbaustudiengängen sowie zum Selbststudium und zum Nachschlagen verwendet werden.
Die klassische mathematische Logik bietet eine einheitliche Behandlung von Material, das bisher nur durch die Konsultation vieler verschiedener Bücher und Forschungsartikel, die mit unterschiedlichen Notationssystemen und Axiomatisierungen geschrieben wurden, zugänglich war.
| ISBN: | 9780691123004 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2006 |
| Seitenzahl: | 544 |
Derzeit verfügbar, auf Lager.
