أرسل هذا في رسالة قصيرة: Eléments de logique mathématique: théorie des modèles