Table of contents

Separated and Weakly Separated Subspaces of Topological Spaces
by
Zbigniew Karno

Some Properties of Binary Relations
by
Waldemar Korczynski

Definitons of Petri Net. Part I
by
Waldemar Korczynski

Definitons of Petri Net. Part II
by
Waldemar Korczynski

Definitons of Petri Net. Part III
by
Waldemar Korczynski

The de l'Hospital Theorem
by
Malgorzata Korolkiewicz

Comma Category
by
Grzegorz Bancerek and
Agata Darmochwal

ContextFree Grammar  Part I
by
Patricia L. Carlson and
Grzegorz Bancerek

Completeness of the $\sigma$Additive Measure. Measure Theory
by
Jozef Bialas

Series in Banach and Hilbert Spaces
by
Elzbieta Kraszewska and
Jan Popiolek

Products and Coproducts in Categories
by
Czeslaw Bylinski

Transpose Matrices and Groups of Permutations
by
Katarzyna Jankowska

Complete Lattices
by
Grzegorz Bancerek

Continuity of Mappings over the Union of Subspaces
by
Zbigniew Karno

Functional Sequence from a Domain to a Domain
by
Beata Perkowska

Reper Algebras
by
Michal Muzalewski

Isomorphisms of Cyclic Groups. Some Properties of Cyclic Groups
by
Dariusz Surowik

Some Isomorphisms Between Functor Categories
by
Andrzej Trybulec

The Lattice of Domains of a Topological Space
by
Toshihiko Watanabe

Submodules
by
Michal Muzalewski

Oriented MetricAffine Plane  Part II
by
Jaroslaw Zajkowski

Opposite Rings, Modules and Their Morphisms
by
Michal Muzalewski

Properties of Caratheodor's Measure
by
Jozef Bialas

Completeness of the Lattices of Domains of a Topological Space
by
Zbigniew Karno and
Toshihiko Watanabe

On Paracompactness of Metrizable Spaces
by
Leszek Borys

The Brouwer Fixed Point Theorem for Intervals
by
Toshihiko Watanabe

On Powers of Cardinals
by
Grzegorz Bancerek

Basic Properties of Connecting Points with Line Segments in $\calE^2_\rm T$
by
Yatsuka Nakamura and
Jaroslaw Kotowicz

Connectedness Conditions Using Polygonal Arcs
by
Yatsuka Nakamura and
Jaroslaw Kotowicz

Introduction to GoBoard  Part I
by
Jaroslaw Kotowicz and
Yatsuka Nakamura

Introduction to GoBoard  Part II
by
Jaroslaw Kotowicz and
Yatsuka Nakamura

Properties of GoBoard  Part III
by
Jaroslaw Kotowicz and
Yatsuka Nakamura

GoBoard Theorem
by
Jaroslaw Kotowicz and
Yatsuka Nakamura

The Jordan's Property for Certain Subsets of the Plane
by
Yatsuka Nakamura and
Jaroslaw Kotowicz

The Lattice of Domains of an Extremally Disconnected Space
by
Zbigniew Karno

A Mathematical Model of CPU
by
Yatsuka Nakamura and
Andrzej Trybulec

Cartesian Categories
by
Czeslaw Bylinski

Algebra of Vector Functions
by
Hiroshi Yamazaki and
Yasunari Shidama

On a Duality Between Weakly Separated Subspaces of Topological Spaces
by
Zbigniew Karno

Basic Petri Net Concepts
by
Pauline N. Kawamoto,
Yasushi Fuwa,
and
Yatsuka Nakamura

Finite Topological Spaces
by
Hiroshi Imura and
Masayoshi Eguchi

Sets and Functions of Trees and Joining Operations of Trees
by
Grzegorz Bancerek

Sum and Product of Finite Sequences of Elements of a Field
by
Katarzyna Zawadzka

On a Mathematical Model of Programs
by
Yatsuka Nakamura and
Andrzej Trybulec

Basic Notation of Universal Algebra
by
Jaroslaw Kotowicz,
Beata Madras,
and
Malgorzata Korolkiewicz

Coherent Space
by
Jaroslaw Kotowicz and
Konrad Raczkowski

Monoids
by
Grzegorz Bancerek

Monoid of Multisets and Subsets
by
Grzegorz Bancerek

Product of Families of Groups and Vector Spaces
by
Anna Lango and
Grzegorz Bancerek
[MML identifier index,
Mizar home page]