Gå direkt till huvudinnehåll
Kurssidor
Svenska (sv)
English (en)
Svenska (sv)
Du är inte inloggad (
Logga in
)
Kursinformation
Startsida
Kurser
Föregående kursomgångar
VT23
Doktorandkurser läsåret 22/23
Introduction to Categorical Logic 23
Sammanfattning
Introduction to Categorical Logic 23
Course page:
https://diliberti.github.io/Teaching/Teaching%20Stockholm/CatLog/2023/CatLog23.html
.