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

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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