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 08.07.2008 von Martina Pfeifer
Geändert am 16.07.2008 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge