Logica e algebra

Logica del primo ordine

Logica del primo ordine

Risoluzione logica

Teoria K

Logica proposizionale

Logica proposizionale

Sistemi deduttivi

Relazioni e funzioni

Chiusure di relazioni binarie

Funzioni

Relazioni

Relazioni binarie

Relazioni d'ordine

Relazioni di equivalenza

Strutture algebriche

Ideali

Normali

Omomorfismi

Relazioni di congruenza

Sottostrutture algebriche

Strutture algebriche

index

Introduzione al corso