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 3ROK: 1977CZYSTY TEKSTBIBTEX
