Dispense di Logica Proposizionale
Dispense di Logica Predicativa
aggiornatoil 28/11/25 con dettagli su teorie categoriche e sottostrutture elementari.