Mathematical Logic S3 2026