1o Workshop “Studies in Mathematical Logic”