Please note that this newsitem has been archived, and may contain outdated information or links.
19 November 2020, Master of Logic defense, Martin Karlsson
Candidate: Martin Karlsson
Title: Proofs and Strategies: A characterization of classical and intuitionistic logic using games with explicit strategies
Date: Thursday 19 November 2020
Time: 10:00
Location: Online (Closed Session)
Supervisor: Benno van den Berg
Please note that this newsitem has been archived, and may contain outdated information or links.