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 - 1381990CZYSTY TEKST
Barbara Klunder, Topos based semantics for constructive logic with strong negation, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 4, s. 133 - 138
BIBTEX@Article{ authors = " Barbara Klunder", title = "Topos based semantics for constructive logic with strong negation", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 4", pages = "133 - 138" }
