Diplomandenseminar - Sommersemester 2003

$WWU$

Bei Änderungen oder neuen Einträgen ist es durchaus ratsam, eine Mail an die Logik zu schicken.

05.05.2003	Georg Moser: Eine Brücke zwischen Beweistheorie und Termersetzungssystemen
02.06.2003	Gyesik Lee: Ordinalzahlen bis epsilon₀, Wurm-Prinzip und Schütte-Simpson ONS für epsilon₀
30.06.2003	Gunnar Wilken: Eine Formel für die Reichweite von <₁
14.07.2003	Andreas Weiermann: Anwendungen der Riemannschen Vermutung und der ABC-Vermutung in der Logik
25.07.2003	Barbara Schwichtenberg: Zu meiner Diplomarbeit

Das kommentierte Vorlesungsverzeichnis hat zu dieser Veranstaltung den folgenden Eintrag.

$Logik$ $Mathe$

$übergeordnetes Verzeichnis$

Erzeugungsdatum: Thu Jul 24 13:20:21 MEST 2003