Department of Mathematical Logic and Applications