Adding files for the Seminar Mathematical Logic page