Anfonwch hwn fel neges destun: Mathematical logic and computability/