Associate Professor in Mathematical Logic at
Phone: +39 085 453-7686 Fax: +39 085 453-7956 e-mail: gianluca.amato@unich.it