|
Martina Pfeifer

Lev Beklemishev (Moskau): Kripke models for provability logic GLP

Thursday, 17.07.2008 16:30 im Raum M3

Mathematik und Informatik



Angelegt am Tuesday, 08.07.2008 09:44 von Martina Pfeifer
Geändert am Thursday, 17.07.2008 17:07 von Martina Pfeifer
[Edit | Vorlage]

Kolloquium FB10 und Sondervorträge