Lev Beklemishev (Moskau): Polymodal provability logic and its relational and topological semantics
Thursday, 03.07.2008 17:15 im Raum SR 8
Angelegt am 30.06.2008 von Martina Pfeifer
Geändert am 30.06.2008 von Martina Pfeifer
[Edit | Vorlage]
Sonstige Vorträge