(Teilweise) Mitschrift zum CdE-Kurs zu Kurt Goedel, gehalten auf der WinterAka 2024 von Merlin Carl.
Find a file
2024-01-02 09:49:20 +01:00
.gitignore initial commit 2024-01-02 09:49:20 +01:00
goedel.tex initial commit 2024-01-02 09:49:20 +01:00