Syntax Meets Semantics: Ex Falso Veritas: proof by reductio ad absurdum, and beyond

El Prof. Daniele Mundici (Universitat de Florència) farà el proper dijous 8 de setembre amb títol "Ex Falso Veritas: proof by reductio ad absurdum, and beyond", a l'Aula Magna de la Universitat de Barcelona, a les 17.00.

Quan?

05/09/2016 fins a 09/09/2016 (Europe/Madrid / UTC200)

On?

Facultat de Matemàtiques de la UB

Afegiu l'esdeveniment al calendari

iCal

En el marc de la congrés "Syntax Meets Semantics 2016"  (http://sysmics-16.iiia.csic.es/ ), que se celebrerà a l'edifici de la Facultat de Matemàtiques de la UB, la setmana del 5 al 9 de setembre. Més detalls de la conferència (incloent l'abstract) els podeu trobar en el pòster adjunt.

Link - Fitxer adjunt

Lluís Godo, IIIA - CSIC

Ramon Jansana, UB