Solomon Feferman (USA): The proof theory of classical and constructive inductive definitions: A forty year saga
Friday, 18.07.2008 15:30 im Raum M1
Angelegt am Tuesday, 08.07.2008 09:36 von Martina Pfeifer
Geändert am Wednesday, 16.07.2008 10:02 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge