Anfonwch hwn fel neges destun: Mathematical logic in computer science /