@MISC{WAYBEL_1.MIZ,
  AUTHOR = {Byli\'nski, Czes{\l}aw},
  TITLE = {Galois Connections },
  NOTE = {This work was partially supported by
   Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Galois Connections},
  SECTION3 = {Heyting Algebra},
  DAY = {25},
  MONTH = {September},
  YEAR = {1996},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {The paper is
 the Mizar encoding of the chapter 0 section 3 of \cite{CCL}
 In the paper the following concept are defined:
 Galois connections, Heyting algebras, and Boolean algebras.}}

