@MISC{NAT_1.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {The Fundamental Properties of Natural Numbers},
  DAY = {11},
  MONTH = {January},
  YEAR = {1989},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {Some fundamental properties of addition, multiplication, order relations,
exact division, the remainder, divisibility, the least common multiple,
the greatest common divisor are presented. A proof of Euclid algorithm is also
given.}}

