Kdy: June 10, 2026
Kde: Applied Mathematical Logic Seminar

Seminář / přednáška From implicit to explicit definability in algebra and logic.