Kdy: January 28, 2026
Kde: Applied Mathematical Logic Seminar

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