|
" Einführung in die mathematische Logik : "
von Hans Hermes.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
742166
|
| Doc. No
|
:
|
b562113
|
| Main Entry
|
:
|
von Hans Hermes.
|
| Title & Author
|
:
|
Einführung in die mathematische Logik : : Klassische Prädikatenlogik\ von Hans Hermes.
|
| Edition Statement
|
:
|
5. Auflage
|
| Publication Statement
|
:
|
Wiesbaden : Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag, 1972
|
| Series Statement
|
:
|
Mathematische Leitfäden
|
| ISBN
|
:
|
3322996425
|
|
|
:
|
: 3519222019
|
|
|
:
|
: 9783322996428
|
|
|
:
|
: 9783519222019
|
| Contents
|
:
|
I Einführung --; II Die Sprache der Prädikatenlogik --; III Semantik der Prädikatenlogik --; IV Ein Prädikatenkalkül --; V Der Gödelsche Vollständigkeitssatz --; VI Das Peanosche Axiomensystem --; VII Erweiterungen der Sprache, Normalformen --; VIII Die Sätze von A. Robinson, Craig und Beth --; Weiterführende Literatur --; Verzeichnis der Kurzbezeichnungen für definierende und abgeleitete Regeln --; Bezeichnungen und Symbole --; Namen- und Sachverzeichnis.
|
| Subject
|
:
|
Engineering.
|
| LC Classification
|
:
|
QA9.V664 1972
|
| Added Entry
|
:
|
Hans Hermes
|
| |