Wyniki
-
A tableau system for positive relevant implication
Michael A. Mc Robbie
Bulletin of the Section of Logic , 6 /3 (1977)
Michael A. Mc Robbie
Bulletin of the Section of Logic
, 6
/3
(1977)