TY  - BOOK
AU  - Jansen,Michael
AU  - Wim Veldman
TI  - Some observation on intuitionistically elementary properties of linear ordering
T2  - Report 8814
AV  - QA3.R46 no.8814 
PY  - 1988///
CY  - Nijmegen
PB  - : Catholic University, Department of Mathematics
KW  - Intuitionistic mathematics
KW  -  Linear ordering
N1  - Includes bibliographical references
ER  -