Oberseminar "Mathematische Logik" - Davide Manca
An order type decomposition of Laver
| Date: | 10/23/2023, 4:15 PM - 5:15 PM |
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Davide Manca, Universität Würzburg |
| Date: | 10/23/2023, 4:15 PM - 5:15 PM |
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Davide Manca, Universität Würzburg |
