Anfonwch hwn fel neges destun: Logic: from foundations to applications: