Léon Henkin

• La structure algébrique des théories mathématiques
• Retracing elementary mathematics