Some remarks on Griss' logic of negationless intuitionistic mathematics

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 85
Ayda I. Arruda

 

do góry