Seminar Semantik von intuitionistischen und klassischen Beweisen Universität Potsdam, Sommersemester 2006

Von allen Teilnehmern wird Anwesenheit zu allen Vortragsterminen sowie eine aktive Teilnahme an den inhaltlichen Diskussionen erwartet.

Grundlage der Leistungsbewertung ist der Vortrag.