111 Ergebnisse für: gentzen
-
Deutsche Biographie - Gentzen, Gerhard
https://www.deutsche-biographie.de/gnd117710458.html#ndbcontent
Deutsche Biographie
-
Deutsche Synchronkartei | Synchronsprecher | Horst Gentzen
https://www.synchronkartei.de/sprecher/199
Keine Beschreibung vorhanden.
-
Professorenkatalog der Universität Leipzig - Die Professoren-Datenbank für Leipzig
http://research.uni-leipzig.de/catalogus-professorum-lipsiensium/leipzig/Gentzen_1183
Der Professorenkatalog der Universität Leipzig ist eine Professoren-Datenbank in der die Biogramme von einem Großteil der Professoren gespeichert sind, die in Leipzig gelehrt haben.
-
Logic's Lost Genius: The Life of Gerhard Gentzen - Eckart Menzler-Trott - Google Books
http://books.google.de/books?id=iXWGKlLTkqoC&pg=PA95&lpg=PA95&dq=Glivenko+Kiev&source=web&ots=vljj7rESRK&sig=BMtpXnlEmTnwiIiDxYj
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential…
-
Institut für Philosophie: Forschung
http://www.philosophie.phil.uni-erlangen.de/Forschung/Gentzen.html
Keine Beschreibung vorhanden.
-
Gentzens Problem: Mathematische Logik Im Nationalsozialistischen Deutschland - Eckart Menzler-Trott, Jan Von Plato - Google Books
http://books.google.de/books?id=GjKxDcKJQVMC&pg=PA200&lpg=PA200&dq=%22Ruth+Moufang%22+Nicola&source=bl&ots=HNEEmtURvm&sig=XEKTmX
Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung seiner Arbeiten zeigt sich bis heute in der Informatik und beeindruckt durch Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten…
-
Ringen - Deutsche Meisterschaften (Freistil - Herren 1)
http://www.sport-komplett.de/sport-komplett/sportarten/r/ringen/hst/67.html
Keine Beschreibung vorhanden.
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=120152436
Keine Beschreibung vorhanden.
-
OGND - results/titledata
http://swb.bsz-bw.de/DB=2.104/SET=1/TTL=1/CMD?retrace=0&trm_old=&ACT=SRCHA&IKT=2999&SRT=RLV&TRM=117710458
Keine Beschreibung vorhanden.
-