Pātuhitia tēnei: An algebraic introduction to mathematical logic