أرسل هذا في رسالة قصيرة: Logic, computation, hierarchies /