@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://www.numdam.org/item/CM_1953__11__204_0/}
}