Kdy: October 15, 2025
Kde:

Seminář / přednáška Reflecting on the proof theory of first-order relevant logics and relevant modal logics.