Please note that this newsitem has been archived, and may contain outdated information or links.
22 August 2023, Master of Logic defense, Borja Sierra Miranda
Candidate: Borja Sierra Miranda
Title: Sigma_1-Provability Logic of Subsystems of Heyting Arithmetic
Date: Tuesday 22 August 2023
Time: 13:00
Location: Room F1.15, Science Park 107, Amsterdam / online
Supervisor: Bahareh Afshari and Albert Visser
Please note that this newsitem has been archived, and may contain outdated information or links.