Propositional calculi based on subresiduation

Bulletin of the Section of Logic, Tom 3, Numer 1 (1974) s. 41-42
George Epstein, Alfred Horn

 

do góry