Pātuhitia tēnei: Primer curso de lógica matemática