Pātuhitia tēnei: Popular lectures on mathematical logic