Barbara Klunder
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Topos based semantics for constructive logic with strong negation Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 4 / s. 133 - 138ROK: 1990CZYSTY TEKSTBIBTEX