The logic of negationless mathematics
Vredenduin, P. G. J.
Compositio Mathematica, Tome 11 (1953), p. 204-270 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{CM_1953__11__204_0,
     author = {Vredenduin, P. G. J.},
     title = {The logic of negationless mathematics},
     journal = {Compositio Mathematica},
     volume = {11},
     year = {1953},
     pages = {204-270},
     mrnumber = {61566},
     zbl = {0053.20201},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CM_1953__11__204_0}
}

Vredenduin, P. G. J. The logic of negationless mathematics. Compositio Mathematica, Tome 11 (1953) pp. 204-270. http://gdmltest.u-ga.fr/item/CM_1953__11__204_0/