Einführung in die klassische und intensionale Logik
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Einführung in die klassische und intensionale Logik “
Inhaltsverzeichnis zu „Einführung in die klassische und intensionale Logik “
1 Mengen, Relationen und Funktionen.- 2 Aussagenlogik.- 3 Modale Aussagenlogik.- 4 Varianten der modalen Aussagenlogik.- 5 Grundbegriffe der Prädikatenlogik.- 6 Normalformen und der Satz von Herbrand.- 7 Der Gödelsche Vollständigkeitssatz.- 8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- 9 Einige modelltheoretische Begriffe und Sätze.- 10 Modale Prädikatenlogik.- 11 Dynamische Prädikatenlogik.- 12 Höherstufige Prädikatenlogik.- 13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.
Autoren-Porträt von Ulf Friedrichsdorf
Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.
Bibliographische Angaben
- Autor: Ulf Friedrichsdorf
- 1992, VIII, 354 Seiten, 4 Abbildungen, Maße: 16,4 x 23,1 cm, Kartoniert (TB), Deutsch
- Verlag: Vieweg+Teubner
- ISBN-10: 3528064897
- ISBN-13: 9783528064891
Kommentar zu "Einführung in die klassische und intensionale Logik"
0 Gebrauchte Artikel zu „Einführung in die klassische und intensionale Logik“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Einführung in die klassische und intensionale Logik".
Kommentar verfassen