Anfonwch hwn fel neges destun: Handbook of logic in computer science.