Showing 1 results

Archival description
Publicação
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