Fonds Pierre Cartier (Archives Henri Poincaré);
Lacombe, Daniel ; 33 p. ; 1958-09;
I. Introduction. § 1. Les schémas de théorèmes, d'axiomes, de relations. § 2. Forme générale des schémas de relations - opérateurs logiques. § 3. Considérations d'effectivité. § Possibilité de remplacer les schémas de théorèmes (d'axiomes) par des…