@MISC{ARYTM.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Preliminaries to Arithmetic},
  SECTION1 = {Main Part},
  SECTION2 = {Real Numbers},
  DAY = {10},
  MONTH = {December},
  YEAR = {1995},
  ADDRESS1 = {Association of Mizar Users}}

