Tallenna
Gentzens Problem
Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen.
- Alaotsikko
- Mathematische Logik im nationalsozialistischen Deutschland
- Kirjailija
- Eckart Menzler-Trott
- Painos
- Softcover reprint of the original 1st ed. 2001
- ISBN
- 9783034895170
- Kieli
- saksa
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.11.2012
- Kustantaja
- Springer Basel
- Sivumäärä
- 411
