Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1

  • Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, 1952

Book Parts

top
  1. CHAPTER: 1. Mathematische Logik. (2., völlig neu bearbeitete Auflage) Von H. Hermes und H. Scholz.Access to Book Part 
  2. CHAPTER: Einleitung.Access to Book Part 
  3. CHAPTER: 1. Satzlogik und Regellogik.Access to Book Part 
  4. CHAPTER: 2. Aussagenkalkül.Access to Book Part 
  5. CHAPTER: 3. Prädikatenkalkül.Access to Book Part 
  6. CHAPTER: 4. Prädikatenkalkül mit Identität.Access to Book Part 
  7. CHAPTER: 5. Axiomatisch-deduktive Methode.Access to Book Part 
  8. CHAPTER: 6. Axiomatisierung des Aussagenkalküls.Access to Book Part 
  9. CHAPTER: 7. Axiomatisierung des Prädikatenkalküls.Access to Book Part 
  10. CHAPTER: 8. Axiomatisierung des Prädikatenkalküls mit Identität.Access to Book Part 
  11. CHAPTER: 9. Entscheidbarkeit.Access to Book Part 
  12. CHAPTER: 10. Entscheidungsprobleme im PK.Access to Book Part 
  13. CHAPTER: 11. Das Entscheidungsproblem im IK.Access to Book Part 
  14. CHAPTER: 12. Erweiterungen des Prädikatenkalküls.Access to Book Part 
  15. CHAPTER: 13. Logik und mathematische Theorien.Access to Book Part 
  16. CHAPTER: 14. Das Antinomienproblem und die Unvollständigkeit der Erweiterungen des Prädikatenkalküls.Access to Book Part 
  17. CHAPTER: 15. Konsequenzenlogik.Access to Book Part 

How to cite

top

Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1. 1952. <http://eudml.org/doc/203145>.

@book{Unknown1952,
language = {ger},
title = {Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1},
url = {http://eudml.org/doc/203145},
year = {1952},
}

TY - BOOK
TI - Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1
PY - 1952
LA - ger
UR - http://eudml.org/doc/203145
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.