Pātuhitia tēnei: Logic for mathematicians