Wyniki
-
Topos based semantics for constructive logic with strong negation
Barbara Klunder
Bulletin of the Section of Logic , 19 /4 (1990) s. 133-138
Barbara Klunder
Bulletin of the Section of Logic
, 19
/4
(1990)
s. 133-138