Pātuhitia tēnei: Lógica de primer orden