9 Ergebnisse für: gentzens
-
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…
-
-
-
Institut für Philosophie: Forschung
http://www.philosophie.phil.uni-erlangen.de/Forschung/Gentzen.html
Keine Beschreibung vorhanden.
-
Deutsche Biographie - Hertz, Paul
https://www.deutsche-biographie.de/gnd11675446X.html#ndbcontent
Deutsche Biographie
-
Deutsche Biographie - Schütte, Kurt
https://www.deutsche-biographie.de/gnd118611127.html#ndbcontent
Deutsche Biographie
-
"Kermit" packt aus: "Ich wurde gefeuert" - n-tv.de
http://www.n-tv.de/leute/Ich-wurde-gefeuert-article19937272.html
27 Jahre ist Steve Whitmire ein Frosch. Aber nicht irgendein Frosch, sondern der wahrscheinlich berühmteste Frosch auf dem Planeten: Kermit. Doch die Zeiten, in denen er dem Amphibien-Star die Stimme lieh, sind nun vorbei. Und das nicht freiwillig, wie…
-
Deutsche Biographie - Müller, Adam von
https://www.deutsche-biographie.de/gnd118584790.html#ndbcontent
Deutsche Biographie
-
Deutsche Biographie - Garve, Christian
https://www.deutsche-biographie.de/gnd118537636.html#ndbcontent
Deutsche Biographie