×

Une démonstration concernant le théorème d’interpolation généralisé aux ensembles d’énoncés. (French) Zbl 0178.31201

MSC:

03-XX Mathematical logic and foundations
PDFBibTeX XMLCite