John K. Slaney
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Classical versions of BCI, BCK and BCIW logics Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 61 - 651994CZYSTY TEKST
Martin W. Bunder, John K. Slaney, Classical versions of BCI, BCK and BCIW logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 61 - 65
BIBTEX@Article{ authors = " Martin W. Bunder, John K. Slaney", title = "Classical versions of BCI, BCK and BCIW logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "61 - 65" }