Anfonwch hwn fel neges destun: First course in mathematical logic