Table of contents

Boolean Properties of Sets
by
Zinaida Trybulec and
Halina Swieczkowska

Enumerated Sets
by
Andrzej Trybulec

Basic Properties of Real Numbers
by
Krzysztof Hryniewiecki

The Fundamental Properties of Natural Numbers
by
Grzegorz Bancerek

Some Basic Properties of Sets
by
Czeslaw Bylinski

Functions and Their Basic Properties
by
Czeslaw Bylinski

Properties of Subsets
by
Zinaida Trybulec

Relations and Their Basic Properties
by
Edmund Woronowicz

Properties of Binary Relations
by
Edmund Woronowicz and
Anna Zalewska

The Ordinal Numbers
by
Grzegorz Bancerek

Tuples, Projections and Cartesian Products
by
Andrzej Trybulec

Segments of Natural Numbers and Finite Sequences
by
Grzegorz Bancerek and
Krzysztof Hryniewiecki

Domains and Their Cartesian Products
by
Andrzej Trybulec

The Well Ordering Relations
by
Grzegorz Bancerek

A Model of ZF Set Theory Language
by
Grzegorz Bancerek

Families of Sets
by
Beata Padlewska

Functions from a Set to a Set
by
Czeslaw Bylinski

Finite Sets
by
Agata Darmochwal

Graphs of Functions
by
Czeslaw Bylinski

Binary Operations
by
Czeslaw Bylinski

Relations Defined on Sets
by
Edmund Woronowicz

Boolean Domains
by
Andrzej Trybulec and
Agata Darmochwal

Models and Satisfiability. Defining by Structural Induction and Free Variables in ZFformulae
by
Grzegorz Bancerek

The Contraction Lemma
by
Grzegorz Bancerek

Axioms of Incidency
by
Wojciech A. Trybulec

Introduction to Lattice Theory
by
Stanislaw Zukowski

Topological Spaces and Continuous Functions
by
Beata Padlewska and
Agata Darmochwal

Subsets of Topological Spaces
by
Miroslaw Wysocki and
Agata Darmochwal

Connected Spaces
by
Beata Padlewska

Basic Functions and Operations on Functions
by
Czeslaw Bylinski

Families of Subsets, Subspaces and Mappings in Topological Spaces
by
Agata Darmochwal

Some Properties of Functions Modul and Signum
by
Jan Popiolek

Zermelo Theorem and Axiom of Choice
by
Grzegorz Bancerek

Real Sequences and Basic Operations on Them
by
Jaroslaw Kotowicz

Convergent Sequences and the Limit of Sequences
by
Jaroslaw Kotowicz

Properties of ZF Models
by
Grzegorz Bancerek

Sequences of Ordinal Numbers
by
Grzegorz Bancerek

Vectors in Real Linear Space
by
Wojciech A. Trybulec

Subspaces and Cosets of Subspaces in Real Linear Space
by
Wojciech A. Trybulec

A First Order Language
by
Piotr Rudnicki and
Andrzej Trybulec

Partially Ordered Sets
by
Wojciech A. Trybulec

Recursive Definitions
by
Krzysztof Hryniewiecki

Binary Operations Applied to Functions
by
Andrzej Trybulec

Abelian Groups, Fields and Vector Spaces
by
Eugeniusz Kusak,
Wojciech Leonczuk,
and
Michal Muzalewski

Parallelity Spaces
by
Eugeniusz Kusak,
Wojciech Leonczuk,
and
Michal Muzalewski

Construction of a bilinear antisymmetric form in symplectic vector space
by
Eugeniusz Kusak,
Wojciech Leonczuk,
and
Michal Muzalewski

Construction of a bilinear symmetric form in orthogonal vector space
by
Eugeniusz Kusak,
Wojciech Leonczuk,
and
Michal Muzalewski

Partial Functions
by
Czeslaw Bylinski

Semilattice Operations on Finite Subsets
by
Andrzej Trybulec

Cardinal Numbers
by
Grzegorz Bancerek

Compact Spaces
by
Agata Darmochwal

Kuratowski  Zorn Lemma
by
Wojciech A. Trybulec and
Grzegorz Bancerek

Operations on Subspaces in Real Linear Space
by
Wojciech A. Trybulec

$\sigma$Fields and Probability
by
Andrzej Nedzusiak

Introduction to Categories and Functors
by
Czeslaw Bylinski

Introduction to Trees
by
Grzegorz Bancerek

Zermelo's Theorem
by
Bogdan Nowak and
Slawomir Bialecki

Group and Field Definitions
by
Jozef Bialas

Equivalence Relations and Classes of Abstraction
by
Konrad Raczkowski and
Pawel Sadowski

Some Properties of Real Numbers. Operations: min, max, square, and sqare root
by
Andrzej Trybulec and
Czeslaw Bylinski

Connectives and Subformulae of the First Order Language
by
Grzegorz Bancerek

Variables in Formulae of the First Order Language
by
Czeslaw Bylinski and
Grzegorz Bancerek

Monotone Real Sequences. Subsequences
by
Jaroslaw Kotowicz

Convergent Real Sequences. Upper and Lower Bound of Sets of Real Numbers
by
Jaroslaw Kotowicz

Midpoint algebras
by
Michal Muzalewski

The Fundamental Logic Structure in Quantum Mechanics
by
Pawel Sadowski,
Andrzej Trybulec,
and
Konrad Raczkowski
[MML identifier index,
Mizar home page]