Pātuhitia tēnei: Logic for mathematicians /