@MISC{XBOOLEAN.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {On the Arithmetic of Boolean Values},
  SECTION1 = {Basic Definitions},
  SECTION2 = {Main Theorems},
  SECTION3 = {Tautologies},
  DAY = {30},
  MONTH = {November},
  YEAR = {2006},
  ADDRESS1 = {Association of Mizar Users},
  SUMMARY = {In this EMM item various formulas of boolean arithmetic
    are collected. Main part is gathered from articles originally
    authored by Shunichi Kobayashi (series {\tt BVFUNC} and
    {\tt BINARI}).}}

