La structure algébrique des théories mathématiques - Henkin, Leon (Collection de Logique Mathématique, 9, 1956)