Logica del primo ordine Teorema di deduzione Derivazioni Modelli e valutazioni Logica minimale, intuizionista e classica Note introduttive da "Elements of Intuitionism" Nozioni preliminari da "Elements of Intuitionism" PAGINA IN COSTRUZIONE
Logica del primo ordine
Teorema di deduzione
Derivazioni
Modelli e valutazioni
Logica minimale, intuizionista e classica
Note introduttive da "Elements of Intuitionism"
Nozioni preliminari da "Elements of Intuitionism"
PAGINA IN COSTRUZIONE
Contatti: corsi@philo.unibo.it