On the constructive contrapositions of two axioms of countable choice
Veldman, W
On the constructive contrapositions of two axioms of countable choice W. Veldman - Nijmegen Universiteit Katholieke 1981 - 13 p 20 cm - Report 8129 .
Lucrarea este multigrafiata Contine bibliografie
On the constructive contrapositions of two axioms of countable choice W. Veldman - Nijmegen Universiteit Katholieke 1981 - 13 p 20 cm - Report 8129 .
Lucrarea este multigrafiata Contine bibliografie