Oberseminar "Mathematische Logik" - Rafael Nießner
Reverse mathematics of a theorem of Laver
| Datum: | 30.01.2024, 14:15 - 15:15 Uhr |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Rafael Nießner, Technische Universität Darmstadt |
