Please note that this newsitem has been archived, and may contain outdated information or links.
22 May 2018, Master of Logic defense, Jana Haenen
Candidate: Jana Haenen
Title: A Gödel-like translation from positive calculus into strict implication logic
Date: Tuesday 22 May 2018
Time: 11:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Dr. N. Bezhanishvili and Dr. F.M. Lauridsen
Please note that this newsitem has been archived, and may contain outdated information or links.