عنوان

Grundzüge der mathematischen Logik

شابک

3540026738

شابک

3642948146

شابک

3642948154

شابک

9783540026730

شابک

9783642948145

شابک

9783642948152

شماره

b576053

عنوان اصلي

Grundzüge der mathematischen Logik

نام عام مواد

[Book]

نام نخستين پديدآور

von Heinrich Scholz und Gisbert Hasenjaeger.

محل نشرو پخش و غیره

Berlin

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1961

نام خاص و کميت اثر

(xv, 504 pages).

عنوان فروست

Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 106.

متن يادداشت

{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.

موضوع مستند نشده

Logic, Symbolic and mathematical.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

von Heinrich Scholz und Gisbert Hasenjaeger.

مستند نام اشخاص تاييد نشده

G Hasenjaeger

مستند نام اشخاص تاييد نشده

Heinrich Scholz

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y