Journal of Formalized Mathematics, Volume 3, 1991

Table of contents

  1. Algebra of Normal Forms Is a Heyting Algebra
    by Andrzej Trybulec
  2. K\"onig's Lemma
    by Grzegorz Bancerek
  3. Monotonic and Continuous Real Function
    by Jaroslaw Kotowicz
  4. Real Function Differentiability - Part II
    by Jaroslaw Kotowicz and Konrad Raczkowski
  5. Preliminaries to the Lambek Calculus
    by Wojciech Zielonka
  6. Opposite Categories and Contravariant Functors
    by Czeslaw Bylinski
  7. Mostowski's Fundamental Operations - Part II
    by Grzegorz Bancerek and Andrzej Kondracki
  8. Fundamental Types of Metric Affine Spaces
    by Henryk Oryszczyszyn and Krzysztof Prazmowski
  9. Filters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices
    by Grzegorz Bancerek
  10. Shear Theorems and Their Role in Affine Geometry
    by Jolanta Swierzyska and Bogdan Swierzynski
  11. Serieses
    by Konrad Raczkowski and Andrzej Nedzusiak
  12. The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers.
    by Marek Chmur
  13. Commutator and Center of a Group
    by Wojciech A. Trybulec
  14. Natural transformations. Discrete categories
    by Andrzej Trybulec
  15. Matrices. Abelian Group of Matrices
    by Katarzyna Jankowska
  16. Paracompact and Metrizable Spaces
    by Leszek Borys
  17. Atlas of Midpoint Algebra
    by Michal Muzalewski
  18. Several Properties of the $\sigma$-additive Measure
    by Jozef Bialas
  19. Metrics in the Cartesian Product - Part II
    by Stanislawa Kanas and Adam Lecko
  20. Fix Point Theorem for Compact Spaces
    by Alicia de ~la ~Cruz
  21. Quadratic Inequalities
    by Jan Popiolek
  22. Introduction to Banach and Hilbert Spaces - Part I
    by Jan Popiolek
  23. Introduction to Banach and Hilbert Spaces - Part II
    by Jan Popiolek
  24. Introduction to Banach and Hilbert Spaces - Part III
    by Jan Popiolek
  25. Category Ens
    by Czeslaw Bylinski
  26. A Borsuk Theorem on Homotopy Types
    by Andrzej Trybulec
  27. Cartesian Product of Functions
    by Grzegorz Bancerek
  28. Introduction to Modal Propositional Logic
    by Alicia de ~la ~Cruz
  29. Totally Bounded Metric Spaces
    by Alicia de ~la ~Cruz
  30. Categories of Groups
    by Michal Muzalewski
  31. Homomorphisms and Isomorphisms of Groups. Quotient Group
    by Wojciech A. Trybulec and Michal J. Trybulec
  32. Rings and Modules - Part II
    by Michal Muzalewski
  33. Free Modules
    by Michal Muzalewski
  34. Oriented Metric-Affine Plane - Part I
    by Jaroslaw Zajkowski
  35. The Euclidean Space
    by Agata Darmochwal
  36. Metric Spaces as Topological Spaces - Fundamental Concepts
    by Agata Darmochwal and Yatsuka Nakamura
  37. Heine--Borel's Covering Theorem.
    by Agata Darmochwal and Yatsuka Nakamura
  38. Some Facts about Union of Two Functions and Continuity of Union of Functions
    by Yatsuka Nakamura and Agata Darmochwal
  39. The Topological Space $\calE^2_\rm T$. Arcs, Line Segments and Special Polygonal Arcs
    by Agata Darmochwal and Yatsuka Nakamura
  40. Cyclic Groups and Some of Their Properties - Part I
    by Dariusz Surowik
  41. Isomorphisms of Categories
    by Andrzej Trybulec
  42. Similarity of Formulae
    by Agata Darmochwal and Andrzej Trybulec
  43. Category of Rings
    by Michal Muzalewski
  44. Category of Left Modules
    by Michal Muzalewski
  45. Real Function One-Side Differentiability
    by Ewa Burakowska and Beata Madras
  46. Sequences in Metric Spaces
    by Stanislawa Kanas and Adam Lecko
  47. The Topological Space $\calE^2_\rm T$. Simple Closed Curves
    by Agata Darmochwal and Yatsuka Nakamura

[MML identifier index, Mizar home page]