New single axioms for positive implication

Bulletin of the Section of Logic, Tom 28, Numer 1 (1999) s. 39-42
Dolph Ulrich

 

do góry