activities 2020-21

LOGICA MATEMATICA Incompletezza e indipendenza di sistemi assiomatici Docente: Ludovico Pernazza Università di Pavia Per iscriversi: https://tinyurl.com/borromeodad-logicamatematica21 22 aprile 2021 h 18.00 Sistemi formali e deducibilità 29 aprile...