Lev Beklemishev (Moskau): Kripke models for provability logic GLP
Thursday, 17.07.2008 16:30 im Raum M3
Angelegt am 08.07.2008 von Martina Pfeifer
Geändert am 17.07.2008 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge
Angelegt am 08.07.2008 von Martina Pfeifer
Geändert am 17.07.2008 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge