Some properties of the operation x u y = (x -> y) -> ((y -> x) -> x) in a Hilbert algebra

Dan Dorin Tascau

Full Text:

PDF