Tome 16 (1979) no. 3-4

Sommaire

Quelques hypothèses sur la porte des notions opératoires dans les langues naturelles et techniques
p. 1-11
Théories des types de graphes
p. 13-20
Sur quelques classes universelles de relations m-aires
p. 21-32
Complétude en théorie sur graphes orientés
p. 33-37
Ultraproduits des groupes finis et applications à la théorie de Galois
p. 39-45
Eine weit reichende Wohlordnung der naturlichen zahlen
p. 47-61
Une propriété de seuil pour les intersections dans un ensemble fini
p. 63-64
Qu'est-ce la complétude structurale ?
p. 65-66
Un nouveau type de preuve mathématique : le théorème des quatre couleurs. I - Exposé préliminaire
p. 67-80
Un nouveau type de preuve mathématiques : II - Le théorème des quatre couleurs
p. 81-88
Le forcing faible ; son utilisation pour caractériser les relations unaires générales pour la chaîne ou la consécutivité des entiers naturels (résultat de R. Solovay, 1976)
p. 89-99