Hiroakira Ono
2 artykuły w 1 czasopismach
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 - 112ROK: 1994CZYSTY TEKSTBIBTEX
-
On some intuitionistic modal logics Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 4 / s. 182 - 185ROK: 1977CZYSTY TEKSTBIBTEX
