Michael Rathjen (Leeds): The emergence of infinitary impredicative proof theory
Friday, 18.07.2008 17:15 im Raum M1
Angelegt am 08.07.2008 von Martina Pfeifer
Geändert am 16.07.2008 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge