Chaînes de théories universelles
Tom 103 / 1979
Fundamenta Mathematicae 103 (1979), 133-149
DOI: 10.4064/fm-103-2-133-149