Pātuhitia tēnei: A course in mathematical logic