Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine Prezzo 18,00 €