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