Publicação Add to clipboard BR SPCLEARQ AIA_I_69 · Item · 1951 Part of Ayda Ignez Arruda GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951. Untitled