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://www.numdam.org/item/CM_1953__11__204_0/
LA  - en
ID  - CM_1953__11__204_0
ER  -