@MISC{HEYTING2.MIZ,
  AUTHOR = {Grabowski, Adam},
  TITLE = {Lattice of Substitutions is a {H}eyting Algebra},
  SECTION1 = {Preliminaries},
  SECTION2 = {Some Properties of Sets of Substitutions},
  SECTION3 = {Lattice of Substitutions is Implicative},
  DAY = {31},
  MONTH = {December},
  YEAR = {1998},
  ADDRESS1 = {University of Bia{\l}ystok}}

