Menu:

• Pagina Iniziale
• Lezioni Svolte
• Materiale didattico
• Bibliografia

Link

- Logica Matematica I
- Metodi per il Ragionamento Automatico
- AILA
- SILFS
- Scuola Estiva di Logica

Ultima modifica
13 marzo 2019

• Classi equazionali di algebre. Il quaderno di G. Meloni sul Teorema di Birkhoff.