A natural deduction relevance logic

Bulletin of the Section of Logic, Tom 6, Numer 4 (1977) s. 164-170
Frederic A. Johnson

 

do góry