[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] New Mizar articles

Artur Kornilowicz submitted an article entitled:
      "Morphism Into Chains, Part I"
        (MML identifier: WAYBEL35)

Shunichi Kobayashi submitted an article entitled:
      "Propositional Calculus for Boolean Valued Functions, VII"
        (MML identifier: BVFUNC25)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
  Library Committee of the Association of Mizar Users