Grundzüge der Mathematischen Logik: Grundlehren der mathematischen Wissenschaften, cartea 106
Autor Heinrich Scholz, Gisbert Hasenjaegerde Limba Germană Paperback – 12 feb 2012
Din seria Grundlehren der mathematischen Wissenschaften
- Preț: 353.84 lei
- 24% Preț: 728.15 lei
- Preț: 410.21 lei
- 24% Preț: 587.87 lei
- 17% Preț: 498.73 lei
- Preț: 592.75 lei
- 20% Preț: 692.49 lei
- 24% Preț: 893.28 lei
- 20% Preț: 824.73 lei
- 24% Preț: 632.96 lei
- 15% Preț: 596.69 lei
- 15% Preț: 714.49 lei
- Preț: 333.01 lei
- 15% Preț: 473.16 lei
- Preț: 356.49 lei
- Preț: 484.43 lei
- 15% Preț: 452.79 lei
- Preț: 456.66 lei
- 15% Preț: 708.75 lei
- Preț: 423.08 lei
- 15% Preț: 444.29 lei
- 15% Preț: 527.79 lei
- 15% Preț: 589.65 lei
- Preț: 353.40 lei
- 18% Preț: 727.66 lei
- Preț: 387.96 lei
- 15% Preț: 454.74 lei
- Preț: 464.55 lei
- Preț: 348.77 lei
- Preț: 362.04 lei
- Preț: 488.12 lei
- 15% Preț: 447.57 lei
- Preț: 419.81 lei
- Preț: 388.52 lei
- Preț: 419.21 lei
- 15% Preț: 581.01 lei
- Preț: 497.75 lei
- Preț: 360.53 lei
- Preț: 387.75 lei
- Preț: 419.81 lei
- 18% Preț: 725.75 lei
- Preț: 453.78 lei
- Preț: 386.39 lei
Preț: 481.03 lei
Preț vechi: 565.91 lei
-15% Nou
Puncte Express: 722
Preț estimativ în valută:
92.04€ • 96.36$ • 76.16£
92.04€ • 96.36$ • 76.16£
Carte tipărită la comandă
Livrare economică 05-19 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642948152
ISBN-10: 3642948154
Pagini: 524
Ilustrații: XVI, 504 S.
Dimensiuni: 152 x 229 x 30 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 1st ed. 1961
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Grundlehren der mathematischen Wissenschaften
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642948154
Pagini: 524
Ilustrații: XVI, 504 S.
Dimensiuni: 152 x 229 x 30 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 1st ed. 1961
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Grundlehren der mathematischen Wissenschaften
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
§ 1. Prolegomena.- § 2. Einführung in die Satzlogik.- § 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- § 4. Aufgabe und Charakter einer mathematischen Logik.- § 5. Grundlagen einer metasprachlichen Aussagentheorie.- § 6. Zur Logik und Symbolik der Metasprache.- § 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.- § 230. Einleitung: Unmöglichkeitstheoreme.- § 231. Charakterisierung von arithmetischen Attributen im PFK*.- § 232. Vorläufige Definition von 1D518. Das Diagonalverfahren.- § 233. Die Arithmetisierung: Definition von H(m).- § 234. Reguläre Definitionen zur Arithmetisierung.- § 235. Die regulären Definitionen von echt regulären Attributen.- § 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren.- § 237. Die Unentscheidbarkeit des Prädikatenkalküls.- § 238. Die Nichtaxiomatisierbarkeit der Stufenlogik.- Anhang: Regellogik.- § 250. Einführung in die Regellogik.- § 251. Der aussagenlogische Sequenzenkalkül (ASK).- § 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK).- Namen- und Sachverzeichnis.