Michael A. Mc Robbie
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A tableau system for positive relevant implication Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 31977CZYSTY TEKST
Michael A. Mc Robbie, A tableau system for positive relevant implication, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Michael A. Mc Robbie", title = "A tableau system for positive relevant implication", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
