Oberseminar "Mathematische Logik" - Rafael Nießner
Reverse mathematics of a theorem of Laver
| Date: | 01/30/2024, 2:15 PM - 3:15 PM |
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Rafael Nießner, Technische Universität Darmstadt |
| Date: | 01/30/2024, 2:15 PM - 3:15 PM |
| Category: | event |
| Location: | Hubland Nord, Geb. 40, 01.003 |
| Speaker: | Rafael Nießner, Technische Universität Darmstadt |
