Table of contents

Properties of the Intervals of Real Numbers
by
Jozef Bialas

Subspaces of Real Linear Space Generated by One, Two, or Three Vectors and Their Cosets
by
Wojciech A. Trybulec

Domains of Submodules, Join and Meet of Finite Sequences of Submodules and Quotient Modules
by
Michal Muzalewski

Functions and Finite Sequences of Real Numbers
by
Jaroslaw Kotowicz

Properties of Partial Functions from a Domain to the Set of Real Numbers
by
Jaroslaw Kotowicz and
Yuji YujiSakai

Remarks on Special Subsets of Topological Spaces
by
Zbigniew Karno

On Discrete and Almost Discrete Topological Spaces
by
Zbigniew Karno

The Product and the Determinant of Matrices with Entries in a Field
by
Katarzyna Zawadzka

Introduction to Theory of Rearrangement
by
Yuji Sakai and
Jaroslaw Kotowicz

Manysorted Sets
by
Andrzej Trybulec

Subalgebras of the Universal Algebra. Lattices of Subalgebras
by
Ewa Burakowska

HahnBanach Theorem
by
Bogdan Nowak and
Andrzej Trybulec

Homomorphisms of Lattices, Finite Join and Finite Meet
by
Jolanta Kamienska and
Jaroslaw Stanislaw Walijewski

Representation Theorem for Heyting Lattices
by
Jolanta Kamienska

Representation Theorem for Boolean Algebras
by
Jaroslaw Stanislaw Walijewski

Some Remarks on the Simple Concrete Model of Computer
by
Andrzej Trybulec and
Yatsuka Nakamura

Euclid's Algorithm
by
Andrzej Trybulec and
Yatsuka Nakamura

Development of Terminology for \bf SCM
by
Grzegorz Bancerek and
Piotr Rudnicki

Two Programs for \bf SCM. Part I  Preliminaries
by
Grzegorz Bancerek and
Piotr Rudnicki

Two Programs for \bf SCM. Part II  Programs
by
Grzegorz Bancerek and
Piotr Rudnicki

Joining of Decorated Trees
by
Grzegorz Bancerek

Binary Arithmetics
by
Takaya Nishiyama and
Yasuho Mizuhara

Basic Concepts for Petri Nets with Boolean Markings
by
Pauline N. Kawamoto,
Yasushi Fuwa,
and
Yatsuka Nakamura

On Defining Functions on Trees
by
Grzegorz Bancerek and
Piotr Rudnicki

Product of Family of Universal Algebras
by
Beata Madras

Homomorphisms of Algebras. Quotient Universal Algebra
by
Malgorzata Korolkiewicz

Free Universal Algebra Construction
by
Beata Perkowska

Complex Sequences
by
Agnieszka Banachowicz and
Anna Winnicka

Maximal Discrete Subspaces of Almost Discrete Topological Spaces
by
Zbigniew Karno

On Nowhere and Everywhere Dense Subspaces of Topological Spaces
by
Zbigniew Karno

On the Decomposition of the States of SCM
by
Yasushi Tanaka

On Defining Functions on Binary Trees
by
Grzegorz Bancerek and
Piotr Rudnicki

A Compiler of Arithmetic Expressions for SCM
by
Grzegorz Bancerek and
Piotr Rudnicki
[MML identifier index,
Mizar home page]