أرسل هذا في رسالة قصيرة: On the Computability of Region−Based Euclidean Logics