Pātuhitia tēnei: An introduction to computer logic