Anfonwch hwn fel neges destun: Mathematical foundation of computer science /