Einführung in die Mathematische Logik
Ein Lehrbuch
Seiten
2009
|
3. Aufl. 2008
Vieweg & Teubner (Hersteller)
978-3-8348-9530-1 (ISBN)
Vieweg & Teubner (Hersteller)
978-3-8348-9530-1 (ISBN)
Aussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.
| Erscheint lt. Verlag | 27.11.2009 |
|---|---|
| Zusatzinfo | XXI, 257 S. |
| Verlagsort | Wiesbaden |
| Sprache | deutsch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Schlagworte | Aussagenlogik • Logik • Mathematische Logik • Modelltheorie • Prädikatenlogik • Resolution • Ultraprodukt • Vollständigkeit |
| ISBN-10 | 3-8348-9530-X / 383489530X |
| ISBN-13 | 978-3-8348-9530-1 / 9783834895301 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
