New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Yatsuka Nakamura submitted an article entitled:
      "Logic Gates and Logical Equivalence of Adders"
        (MML identifier: GATE_1)
 
Christoph Schwarzweller submitted an article entitled:
      "The Ring of Integers, Euclidean Rings and Modulo Integers"
        (MML identifier: INT_3)
 
Bartlomiej Skorulski submitted an article entitled:
      "The Sequential Closure Operator In Sequential and Frechet Spaces"
        (MML identifier: FRECHET2)
 
Adam Grabowski submitted an article entitled:
      "Properties of the Product of Compact Topological Spaces"
        (MML identifier: BORSUK_3)
 
Artur Kornilowicz submitted an article entitled:
      "Compactness of the Bounded Closed Subsets of TOP-REAL 2"
        (MML identifier: TOPREAL6)

Adam Grabowski submitted an article entitled:
      "Hilbert Positive Propositional Calculus"
        (MML identifier: HILBERT1)

Artur Kornilowicz submitted an article entitled:
      "Homeomorphism between [:TOP-REAL i,TOP-REAL j:] and TOP-REAL (i+j)"
        (MML identifier: TOPREAL7)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users