Некоторые простые следствия аксиомы конструктивности

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

С. Когаловский Fundamenta Mathematicae 82 (1974), 245-267 DOI: 10.4064/fm-82-3-245-267