Mathematical Logic in Turin

Mathematical Logic Group of the University and Polytechnic of Torino