Axioms as rules in intuitionistic logic

Sara Negri will give a talk titled Axioms as rules in intuitionistic logic.

Date & Time: Mon, Jun 23 2025 at 17:00 Location: Online via Zoom

Click here for more details and registration