أرسل هذا في رسالة قصيرة: Second Order Logic and the Weak Exponential Hierarchies