Algebra and Logic Seminar - 10/1/2014

Friday, 10 January 2014, 2:00 p.m.

Lecturer: Reinhard Khale (CENTRIA/DM/FCT/UNL)

Title: "The Landscape of Mathematical Logic from a Proof-Theoretic Perspective".

Local: Room 1.5, Edifício VII
Faculdade de Ciências e Tecnologia, Quinta da Torre, Caparica

Abstract: In this talk we give a survey of problems and results in Mathematical Logic with special emphasis on proof-theoretic aspects.