TY  - BOOK
AU  - Veldman,Wim
TI  - On the constructive contrapositions of two axioms of countable choice
T2  - (Report 9129)
AV  - QA3.R46 no.8129 
PY  - 1976///
CY  - Nijmegen
PB  - Catholic University, Department of Mathematics
KW  - Axioms
KW  - Functional analysis
N1  - Includes bibliographical references
ER  -