%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://www.numdam.org/item/CM_1953__11__204_0/
%G en
%F CM_1953__11__204_0