Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.