22 May 2024, Master of Logic defense, Swapnil Ghosh

Candidate: Swapnil Ghosh

Title: An Exploration of Contraction Free Arithmetic

Date: Wednesday 22 May 2024

Time: 10:00

Location: Room F1.15, Science Park 107, Amsterdam

Supervisor: Dick de Jongh & Lev Beklemishev