Explanatory Proofs: From Logic to Mathematics

A talk titled Explanatory Proofs: From Logic to Mathematics.

Date & Time: Fri, Jan 24 2025 at 17:00 Location: Online via Zoom

Click here for more details and registration