Veranstaltungskalender

Fr, 26.01.2018, 13:30
Contributions to proof mining
Logik-Seminar

Referent: Dr. Andrei Sipos
Raum: S2|15-201

Details / Abstract

 


Kontakt

Fachbereich Mathematik
Technische Universität Darmstadt

Schlossgartenstraße 7
64289 Darmstadt

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang