Negationless intuitionistic mathematics.

Authors: Griss, George François Cornelis |
Pages: 1127-1133
Reference: Proceedings, volume 49, deel 10 (1946), 1127-1133