Title: Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine
Subjects: Interpolation, Symbolic and mathematical Logic, Intuitionistic mathematics, First-order logic