Pātuhitia tēnei: Fundamentals of symbolic logic/