Anfonwch hwn fel neges destun: Mathematical problems from applied logic II :