Anfonwch hwn fel neges destun: A concise introduction to mathematical logic