Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Classical versions of BCI, BCK and BCIW logics
Zacytuj
CZYSTY 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
Martin W. Bunder and John K. Slaney. Classical versions of BCI, BCK and BCIW logics. Bulletin of the Section of Logic, 23(2):61–65, 1994.
Pokaż kod BibTeX
@article{bazhum233312,
author = {Bunder, Martin W. and Slaney, John K.},
title = {{Classical versions of BCI, BCK and BCIW logics}},
journal = {Bulletin of the Section of Logic},
year = {1994},
volume = {23},
number = {2},
pages = {61--65},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/233312}
}