Dispense di Logica Proposizionale
Dispense di Logica Predicativa
aggiornatoil 28/11/25 con dettagli su teorie categoriche e sottostrutture elementari.
aggiornato il 13/12/25 con dettagli sul Lemma di Henkin e la costruzione del modello dei termini per logiche con identità.