Kdy: 28. ledna 2026
Kde: Applied Mathematical Logic Seminar

Seminář / přednáška On Regular Lawvere Theory.