Pātuhitia tēnei: Introduction to Mathematical Logic