أرسل هذا في رسالة قصيرة: Domain Theory and the Logic of Observable Properties