Tascau, Dan Dorin

• Vol 34 (2007): Annals of the University of Craiova - Mathematics and Computer Science Series - Mathematics and Computer Science
  Some properties of the operation x u y = (x -> y) -> ((y -> x) -> x) in a Hilbert algebra
  Details  PDF