أرسل هذا في رسالة قصيرة: Introductory logic and sets for computer scientists