Mathematical Logic: Exercises and Solutions
Kapitel 1 - Besondere Mengensysteme. - Kapitel 2 - Spiele und Abstimmungen.
- Kapitel 3 - Formale Sprachen und Automaten. - Kapitel 4 - Rekursionstheorie. - Kapitel 5 - Aussagenkalkül.
- Kapitel 6 - Logik erster Ordnung. - Kapitel 7 - Grundlegende Theoreme.
- Kapitel 8 - Elementare Äquivalenz. - Kapitel 9 - Ultraprodukte. - Kapitel 10 - Arithmetik.
- Kapitel 11 - Ausgewählte Anwendungen. - Kapitel 12 - Lösungen.
| ISBN: | 9783030790097 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2021 |
| Seitenzahl: | 312 |
Derzeit verfügbar, auf Lager.
