UID:
almahu_9948193379802882
Format:
143 S.
,
online resource.
Edition:
1st ed. 1984.
ISBN:
9783642617256
Series Statement:
Strukturtypen der Logik ; 3 / B
Note:
6. Normalformen -- 6.1 Dualform -- 6.2 Adjunktive und konjunktive Normalform -- 6.3 Pränexe Normalform -- 6.4 Skolem-Normalform -- 6.5 Distributive Normalform („Hintikka-Normalform“) -- 7. Identität -- 7.1 i-Semantik -- 7.2 Anzahlquantoren -- 7.3 Der Kennzeichnungsoperator -- 8. Theorien -- 8.1 Entscheidbarkeit und Aufzählbarkeit -- 8.2 Theorien erster Stufe -- 8.3 Definitorische Theorieerweiterung -- II. Metalogische Ergebnisse -- 9. Kompaktheit -- 10. Das Fundamentaltheorem der Quantorenlogik -- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ -- 12. Unvollständigkeit und Unentscheidbarkeit.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540122128
Language:
German
DOI:
10.1007/978-3-642-61725-6
URL:
https://doi.org/10.1007/978-3-642-61725-6