🧩Logic | X. Angelo Huang's Blog

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