Table of contents

Algebra of Normal Forms Is a Heyting Algebra
by
Andrzej Trybulec

K\"onig's Lemma
by
Grzegorz Bancerek

Monotonic and Continuous Real Function
by
Jaroslaw Kotowicz

Real Function Differentiability  Part II
by
Jaroslaw Kotowicz and
Konrad Raczkowski

Preliminaries to the Lambek Calculus
by
Wojciech Zielonka

Opposite Categories and Contravariant Functors
by
Czeslaw Bylinski

Mostowski's Fundamental Operations  Part II
by
Grzegorz Bancerek and
Andrzej Kondracki

Fundamental Types of Metric Affine Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Filters  Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices
by
Grzegorz Bancerek

Shear Theorems and Their Role in Affine Geometry
by
Jolanta Swierzyska and
Bogdan Swierzynski

Serieses
by
Konrad Raczkowski and
Andrzej Nedzusiak

The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers.
by
Marek Chmur

Commutator and Center of a Group
by
Wojciech A. Trybulec

Natural transformations. Discrete categories
by
Andrzej Trybulec

Matrices. Abelian Group of Matrices
by
Katarzyna Jankowska

Paracompact and Metrizable Spaces
by
Leszek Borys

Atlas of Midpoint Algebra
by
Michal Muzalewski

Several Properties of the $\sigma$additive Measure
by
Jozef Bialas

Metrics in the Cartesian Product  Part II
by
Stanislawa Kanas and
Adam Lecko

Fix Point Theorem for Compact Spaces
by
Alicia de ~la ~Cruz

Quadratic Inequalities
by
Jan Popiolek

Introduction to Banach and Hilbert Spaces  Part I
by
Jan Popiolek

Introduction to Banach and Hilbert Spaces  Part II
by
Jan Popiolek

Introduction to Banach and Hilbert Spaces  Part III
by
Jan Popiolek

Category Ens
by
Czeslaw Bylinski

A Borsuk Theorem on Homotopy Types
by
Andrzej Trybulec

Cartesian Product of Functions
by
Grzegorz Bancerek

Introduction to Modal Propositional Logic
by
Alicia de ~la ~Cruz

Totally Bounded Metric Spaces
by
Alicia de ~la ~Cruz

Categories of Groups
by
Michal Muzalewski

Homomorphisms and Isomorphisms of Groups. Quotient Group
by
Wojciech A. Trybulec and
Michal J. Trybulec

Rings and Modules  Part II
by
Michal Muzalewski

Free Modules
by
Michal Muzalewski

Oriented MetricAffine Plane  Part I
by
Jaroslaw Zajkowski

The Euclidean Space
by
Agata Darmochwal

Metric Spaces as Topological Spaces  Fundamental Concepts
by
Agata Darmochwal and
Yatsuka Nakamura

HeineBorel's Covering Theorem.
by
Agata Darmochwal and
Yatsuka Nakamura

Some Facts about Union of Two Functions and Continuity of Union of Functions
by
Yatsuka Nakamura and
Agata Darmochwal

The Topological Space $\calE^2_\rm T$. Arcs, Line Segments and Special Polygonal Arcs
by
Agata Darmochwal and
Yatsuka Nakamura

Cyclic Groups and Some of Their Properties  Part I
by
Dariusz Surowik

Isomorphisms of Categories
by
Andrzej Trybulec

Similarity of Formulae
by
Agata Darmochwal and
Andrzej Trybulec

Category of Rings
by
Michal Muzalewski

Category of Left Modules
by
Michal Muzalewski

Real Function OneSide Differentiability
by
Ewa Burakowska and
Beata Madras

Sequences in Metric Spaces
by
Stanislawa Kanas and
Adam Lecko

The Topological Space $\calE^2_\rm T$. Simple Closed Curves
by
Agata Darmochwal and
Yatsuka Nakamura
[MML identifier index,
Mizar home page]