Paolo Maffezioli

• Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine