On weaker forms of choice in second order arithmetic

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

Wojciech Guzicki Fundamenta Mathematicae 93 (1976), 131-144 DOI: 10.4064/fm-93-2-131-144