Publicação Ajouter au presse-papier BR SPCLEARQ AIA_I_69 · Pièce · 1951 Fait partie de Ayda Ignez Arruda GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951. Sans titre