Table of contents

The Cantor Set
by
Alexander Yu. Shibakov and
Andrzej Trybulec

Logical Equivalence of Formulae
by
Oleg Okhotnikov

Some Properties of Restrictions of Finite Sequences
by
Czeslaw Bylinski

Special Polygons
by
Czeslaw Bylinski and
Yatsuka Nakamura

The OneDimensional Lebesgue Measure As an Example of a Formalization in the Mizar Language of the Classical Definition of a Mathematical Object
by
Jozef Bialas

Categories without Uniqueness of \bf cod and \bf dom.
by
Andrzej Trybulec

Extensions of Mappings on Generator Set
by
Artur Kornilowicz

Introduction to Circuits, II
by
Yatsuka Nakamura,
Piotr Rudnicki,
Andrzej Trybulec,
and
Pauline N. Kawamoto

Definitions and Basic Properties of Boolean \& Union of Many Sorted Sets
by
Artur Kornilowicz

Combining of Circuits
by
Yatsuka Nakamura and
Grzegorz Bancerek

Vertex sequences induced by chains
by
Yatsuka Nakamura and
Piotr Rudnicki

On the Lattice of Subspaces of Vector Space
by
Andrzej Iwaniuk

On the Lattice of Subgroups of a Group
by
Janusz Ganczarski

On the Lattice of Subalgebras of a Universal Algebra
by
Miroslaw Jan Paszek

On the Decomposition of Finite Sequences
by
Andrzej Trybulec

Decomposing a Go Board into Cells
by
Yatsuka Nakamura and
Andrzej Trybulec

Indexed Category
by
Grzegorz Bancerek

Associated Matrix of Linear Map
by
Robert Milewski

On the Geometry of a Goboard
by
Andrzej Trybulec

The Theorem of Weierstrass
by
Jozef Bialas and
Yatsuka Nakamura

Dyadic Numbers and $T_4$ Topological Spaces
by
Jozef Bialas and
Yatsuka Nakamura

Full Adder Circuit. Part I
by
Grzegorz Bancerek and
Yatsuka Nakamura

Continuous, Stable, and Linear Maps of Coherence Spaces
by
Grzegorz Bancerek

Some Basic Properties of Many Sorted Sets
by
Artur Kornilowicz

Replacement of Subtrees in a Tree
by
Oleg Okhotnikov

Minimal Manysorted Signature for Partial Algebra
by
Grzegorz Bancerek

The Subformula Tree of a Formula of the First Order Language
by
Oleg Okhotnikov

Steinitz Theorem and Dimension of a Vector Space
by
Mariusz Zynel

On the Go Board of a Standard Special Circular Sequence
by
Andrzej Trybulec

On the Monoid of Endomorphisms of Universal Algebra \& Many Sorted Algebra
by
Jaroslaw Gryko

More on Segments on a Go Board
by
Andrzej Trybulec

Certain Facts about Families of Subsets of Many Sorted Sets
by
Artur Kornilowicz

On the concept of the triangulation
by
Beata Madras

Left and Right Component of the Complement of a Special Closed Curve
by
Andrzej Trybulec

Reduction Relations
by
Grzegorz Bancerek
[MML identifier index,
Mizar home page]