A tableau system for positive relevant implication

Bulletin of the Section of Logic, Tom 6, Numer 3 (1977)
Michael A. Mc Robbie

 

do góry