أرسل هذا في رسالة قصيرة: Johan van Benthem on logic and information dynamics /