أرسل هذا في رسالة قصيرة: Discrete structures, logic, and computability /