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…

Die Entstehung der Knotentheorie: Kontexte und Konstruktionen einer modernen ... - Moritz Epple - Google Books

http://books.google.de/books?id=p9Bf7byMXUMC&pg=PA206&dq=%22Geometrische+figur%22+mathematik&hl=de&ei=nZHVTuCOK8fd8QPW47mlAg&sa=

Die Knotentheorie hat sich im letzten Jahrzehnt zu einem der aktivsten Forschungsgebiete in der Mathematik entwickelt. Eine Vielzahl neuer Ergebnisse wurde gefunden, die sich nicht nur in der Topologie, sondern auch in anderen Gebieten der Mathematik und…

https://portal.dnb.de/opac.htm?method=simpleSearch&query=12110852X

Keine Beschreibung vorhanden.

https://portal.dnb.de/opac.htm?method=simpleSearch&query=117710458

Keine Beschreibung vorhanden.

Russ makes the beat for What They Want - YouTube

https://www.youtube.com/watch?v=I_TUHkd3m94

I like using my computer keyboard instead of other equipment. Just more comfortable and convenient. THERES REALLY A WOLF

Tibeto-logic: New Works on the Works of Lama Zhang

http://tibeto-logic.blogspot.de/2012/01/new-works-on-works-of-lama-zhang.html

Keine Beschreibung vorhanden.