Wyniki
-
Deductive systems and congruence relation in ortholattices
Roberto Cignoli
Bulletin of the Section of Logic , 7 /2 (1978) s. 87
Roberto Cignoli
Bulletin of the Section of Logic
, 7
/2
(1978)
s. 87