Induction et récursion en théorie des ensembles sans axiome de fondement

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Maurice Boffa Fundamenta Mathematicae 66 (1970), 241-253 DOI: 10.4064/fm-66-2-241-253