Pātuhitia tēnei: Handbook of logic in computer science.