TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 3 / s. 104 - 1121994CZYSTY TEKST
Takahito Aoto, Hiroakira Ono, Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 104 - 112
BIBTEX@Article{ authors = " Takahito Aoto, Hiroakira Ono", title = "Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 3", pages = "104 - 112" }