Events

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

Speaker: Dr. Andrei Sipos
Room: S2|15-201

Details / Abstract


Contact

Fachbereich Mathematik
Technische Universität Darmstadt

Schlossgartenstraße 7
64289 Darmstadt

A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang