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

Instytut Matematyczny Polskiej Akademii Nauk / pl / Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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