Oberseminar "Mathematische Logik" - Davide Manca
An order type decomposition of Laver
| Datum: | 23.10.2023, 16:15 - 17:15 Uhr |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Davide Manca, Universität Würzburg |
| Datum: | 23.10.2023, 16:15 - 17:15 Uhr |
| Kategorie: | Veranstaltung |
| Ort: | Hubland Nord, Geb. 40, 01.003 |
| Vortragende: | Davide Manca, Universität Würzburg |
