Anfonwch hwn fel neges destun: Introductory logic and sets for computer scientists