X. Angelo Huang's Blog
Notes
Archive
Search
Tags
Home
禄
Tags
馃ЗLogic
Logica Proposizionale
Logica meta-linguistica
Relazioni fra insiemi
Connettivi Logici, correttezza, variabili
Deduzione naturale
Algebra Logica
Introduzione a Logica
Semantica intuizionista
Sintassi e RI strutturali
Teoria assiomatica degli insiemi