Pātuhitia tēnei: Contributions to mathematical logic: