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.
- https://mat.upc.edu/ca/activitats/syntax-meets-semantics-ex-falso-veritas-proof-by-reductio-ad-absurdum-and-beyond
- Syntax Meets Semantics: Ex Falso Veritas: proof by reductio ad absurdum, and beyond
- 2016-09-05T00:00:00+02:00
- 2016-09-09T23:59:59+02:00
- 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.
05/09/2016 fins a 09/09/2016 (Europe/Madrid / UTC200)
Facultat de Matemàtiques de la UB
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
Comparteix: