Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1
GDML_Books, (1952), p.
EUDML-ID : urn:eudml:doc:203145 
@book{PPN361748809,
     title = {Encyklop\"adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1},
     series = {GDML\_Books},
     year = {1952},
     language = {ger},
     url = {http://dml.mathdoc.fr/item/PPN361748809}
}

 (éd.). Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1. GDML_Books (1952),  http://gdmltest.u-ga.fr/item/PPN361748809/

Sommaire

1. Mathematische Logik. (2., völlig neu bearbeitete Auflage) Von H. Hermes und H. Scholz. p. 2
Einleitung. p. 2
1. Satzlogik und Regellogik. p. 6
2. Aussagenkalkül. p. 13
3. Prädikatenkalkül. p. 18
4. Prädikatenkalkül mit Identität. p. 25
5. Axiomatisch-deduktive Methode. p. 28
6. Axiomatisierung des Aussagenkalküls. p. 32
7. Axiomatisierung des Prädikatenkalküls. p. 37
8. Axiomatisierung des Prädikatenkalküls mit Identität. p. 45
9. Entscheidbarkeit. p. 46
10. Entscheidungsprobleme im PK. p. 52
11. Das Entscheidungsproblem im IK. p. 55
12. Erweiterungen des Prädikatenkalküls. p. 57
13. Logik und mathematische Theorien. p. 65
14. Das Antinomienproblem und die Unvollständigkeit der Erweiterungen des Prädikatenkalküls. p. 71
15. Konsequenzenlogik. p. 78