Logica matematica
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 2021 h […]