morphisms) Marcel Guillaume, Les tableaux sémantiques du calcul des prédicats restreint (semantic tableaux in predicate calculus) Jean-Louis Koszul Fibrés vectoriels...