Il teorema di eliminazione del taglio per la logica del primo ordine. Teoremi sull’aritmetica formalizzata del primo ordine. Teoremi di incompletezza della logica
- Dispense fornite dal docente
- Cori R, Lascar D “Logique mathématique”, Masson 1994
- Girard J-Y “Proof-theory and logical complexity”, Bibliopolis 1987