|
" Grundzüge der mathematischen Logik "
von Heinrich Scholz und Gisbert Hasenjaeger.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
756091
|
| Doc. No
|
:
|
b576053
|
| Main Entry
|
:
|
von Heinrich Scholz und Gisbert Hasenjaeger.
|
| Title & Author
|
:
|
Grundzüge der mathematischen Logik\ von Heinrich Scholz und Gisbert Hasenjaeger.
|
| Publication Statement
|
:
|
Berlin: Springer, 1961
|
| Series Statement
|
:
|
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 106.
|
| Page. NO
|
:
|
(xv, 504 pages).
|
| ISBN
|
:
|
3540026738
|
|
|
:
|
: 3642948146
|
|
|
:
|
: 3642948154
|
|
|
:
|
: 9783540026730
|
|
|
:
|
: 9783642948145
|
|
|
:
|
: 9783642948152
|
| Contents
|
:
|
{Sect} 1. Prolegomena --; {sect} 2. Einführung in die Satzlogik --; {sect} 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik --; {sect} 4. Aufgabe und Charakter einer mathematischen Logik --; {sect} 5. Grundlagen einer metasprachlichen Aussagentheorie --; {sect} 6. Zur Logik und Symbolik der Metasprache --; {sect} 7. Zeichen für Zeichen --; Erstes Hauptstück: Aussagenkalkül --; A) Konstituierung des Aussagenkalküls --; B) Semantik --; C) Deduktionstheoretische Betrachtungen --; Zweites Hauptstück: Prädikatenkalkül --; A) Allgemeine Grundlegung --; B) Semantik --; C) Syntax --; D) Beziehungen zwischen Semantik und Syntax im PFK --; Drittes Hauptstück: Prädikatenkalkül mit Identität (I-Kalkül) --; A) Allgemeine Grundlegung --; B) Semantik --; C) Syntax --; D) Beziehungen zwischen Syntax und Syntax im IFK --; Viertes Hauptstück: Einführung in die Stufenlogik --; A) Die Logik der zweiten Stufe --; B) Die volle Typentheorie --; C) Erweiterungen der Typenlogik --; Fünftes Hauptstück: Die Theoreme von Church und Gödel --; {sect} 230. Einleitung: Unmöglichkeitstheoreme --; {sect} 231. Charakterisierung von arithmetischen Attributen im PFK* --; {sect} 232. Vorläufige Definition von 1D518. Das Diagonalverfahren --; {sect} 233. Die Arithmetisierung: Definition von H(m) --; {sect} 234. Reguläre Definitionen zur Arithmetisierung --; {sect} 235. Die regulären Definitionen von echt regulären Attributen --; {sect} 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren --; {sect} 237. Die Unentscheidbarkeit des Prädikatenkalküls --; {sect} 238. Die Nichtaxiomatisierbarkeit der Stufenlogik --; Anhang: Regellogik --; {sect} 250. Einführung in die Regellogik --; {sect} 251. Der aussagenlogische Sequenzenkalkül (ASK) --; {sect} 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK) --; Namen- und Sachverzeichnis.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
QA9.V664 1961
|
| Added Entry
|
:
|
G Hasenjaeger
|
|
|
:
|
Heinrich Scholz
|
| |