Notes for MATH700132 (Mathematical Logic) taught by David Evans at Imperial in Spring 2025. They are a work in progress. These notes are primarily based on the content covered in lectures, with some ...