The logic of negationless mathematics
Compositio Mathematica, Tome 11 (1953), pp. 204-270. 
@article{CM_1953__11__204_0,
     author = {Vredenduin, P. G. J.},
     title = {The logic of negationless mathematics},
     journal = {Compositio Mathematica},
     pages = {204--270},
     publisher = {Kraus Reprint},
     volume = {11},
     year = {1953},
     mrnumber = {61566},
     zbl = {0053.20201},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1953__11__204_0/}
}
TY  - JOUR
AU  - Vredenduin, P. G. J.
TI  - The logic of negationless mathematics
JO  - Compositio Mathematica
PY  - 1953
SP  - 204
EP  - 270
VL  - 11
PB  - Kraus Reprint
UR  - http://archive.numdam.org/item/CM_1953__11__204_0/
LA  - en
ID  - CM_1953__11__204_0
ER  - 
%0 Journal Article
%A Vredenduin, P. G. J.
%T The logic of negationless mathematics
%J Compositio Mathematica
%D 1953
%P 204-270
%V 11
%I Kraus Reprint
%U http://archive.numdam.org/item/CM_1953__11__204_0/
%G en
%F CM_1953__11__204_0
Vredenduin, P. G. J. The logic of negationless mathematics. Compositio Mathematica, Tome 11 (1953), pp. 204-270. http://archive.numdam.org/item/CM_1953__11__204_0/