Edit the description for Mathematical Logic