@MISC{REAL_1.MIZ,
  AUTHOR = {Hryniewiecki, Krzysztof},
  TITLE = {Basic Properties of Real Numbers},
  DAY = {08},
  MONTH = {January},
  YEAR = {1989},
  ADDRESS1 = {Warsaw University},
  SUMMARY = {Basic facts of arithmetics of real numbers are presented:
definitions and properties of the complement element,
the inverse element, subtraction and division;
some basic properties of the set REAL (e.g. density),
and the scheme of separation for sets of reals.}}

