Table of contents

Function Domains and Fr\aenkel Operator
by
Andrzej Trybulec

Integers
by
Michal J. Trybulec

The Complex Numbers
by
Czeslaw Bylinski

Ordinal Arithmetics
by
Grzegorz Bancerek

The Modification of a Function by a Function and the Iteration of the Composition of a Function
by
Czeslaw Bylinski

Finite Sequences and Tuples of Elements of a Nonempty Sets
by
Czeslaw Bylinski

Curried and Uncurried Functions
by
Grzegorz Bancerek

Cardinal Arithmetics
by
Grzegorz Bancerek

FanoDesargues Parallelity Spaces
by
Eugeniusz Kusak and
Wojciech Leonczuk

Real Functions Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Tarski's Classes and Ranks
by
Grzegorz Bancerek

Noncontiguous Substrings and Onetoone Finite Sequences
by
Wojciech A. Trybulec

Pigeon Hole Principle
by
Wojciech A. Trybulec

Linear Combinations in Real Linear Space
by
Wojciech A. Trybulec

K\"onig's Theorem
by
Grzegorz Bancerek

Universal Classes
by
Bogdan Nowak and
Grzegorz Bancerek

Analytical Ordered Affine Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Metric Spaces
by
Stanislawa Kanas,
Adam Lecko,
and
Mariusz Startek

Ordered Affine Spaces Defined in Terms of Directed Parallelity  Part I
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Parallelity and Lines in Affine Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Classical Configurations in Affine Planes
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Affine Localizations of Desargues Axiom
by
Eugeniusz Kusak,
Henryk Oryszczyszyn,
and
Krzysztof Prazmowski

Binary Operations Applied to Finite Sequences
by
Czeslaw Bylinski

Semigroup Operations on Finite Subsets
by
Czeslaw Bylinski

The Collinearity Structure
by
Wojciech Skaba

The Sum and Product of Finite Sequences of Real Numbers
by
Czeslaw Bylinski

A Classical First Order Language
by
Czeslaw Bylinski

Classical and Nonclassical Pasch Configurations in Ordered Affine Planes
by
Henryk Oryszczyszyn,
Krzysztof Prazmowski,
and
Malgorzata Prazmowska

The Lattice of Real Numbers. The Lattice of Real Functions
by
Marek Chmur

A Construction of an Abstract Space of Congruence of Vectors
by
Grzegorz Lewandowski and
Krzysztof Prazmowski

A FirstOrder Predicate Calculus
by
Agata Darmochwal

Partial Functions from a Domain to a Domain
by
Jaroslaw Kotowicz

Partial Functions from a Domain to the Set of Real Numbers
by
Jaroslaw Kotowicz

Increasing and Continuous Ordinal Sequences
by
Grzegorz Bancerek

Transformations in Affine Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Subcategories and Products of Categories
by
Czeslaw Bylinski

ManyArgument Relations
by
Edmund Woronowicz

Interpretation and Satisfiability in the First Order Logic
by
Edmund Woronowicz

Probability
by
Andrzej Nedzusiak

Translations in Affine Planes
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Introduction to Probability
by
Jan Popiolek

A Construction of Analytical Projective Space
by
Wojciech Leonczuk and
Krzysztof Prazmowski

Projective Spaces
by
Wojciech Leonczuk and
Krzysztof Prazmowski

Topological Properties of Subsets in Real Numbers
by
Konrad Raczkowski and
Pawel Sadowski

Properties of Real Functions
by
Jaroslaw Kotowicz

Real Function Continuity
by
Konrad Raczkowski and
Pawel Sadowski

Real Function Uniform Continuity
by
Jaroslaw Kotowicz and
Konrad Raczkowski

Real Function Differentiability
by
Konrad Raczkowski and
Pawel Sadowski

Average Value Theorems for Real Functions of One Variable
by
Jaroslaw Kotowicz,
Konrad Raczkowski,
and
Pawel Sadowski

Construction of Rings and Left, Right, and BiModules over a Ring
by
Michal Muzalewski

Properties of Fields
by
Jozef Bialas

Filters  Part I. Implicative Lattices
by
Grzegorz Bancerek

Groups
by
Wojciech A. Trybulec

The Divisibility of Integers and Integer Relatively Primes
by
Rafal Kwiatek and
Grzegorz Zwara

From Loops to Abelian Multiplicative Groups with Zero
by
Michal Muzalewski and
Wojciech Skaba

Basic Properties of Rational Numbers
by
Andrzej Kondracki

Basis of Real Linear Space
by
Wojciech A. Trybulec

Finite Sums of Vectors in Vector Space
by
Wojciech A. Trybulec

Subgroup and Cosets of Subgroups
by
Wojciech A. Trybulec

Subspaces and Cosets of Subspaces in Vector Space
by
Wojciech A. Trybulec

Operations on Subspaces in Vector Space
by
Wojciech A. Trybulec

Linear Combinations in Vector Space
by
Wojciech A. Trybulec

Basis of Vector Space
by
Wojciech A. Trybulec

Factorial and Newton Coeffitients
by
Rafal Kwiatek

Analytical Metric Affine Spaces and Planes
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Some Elementary Notions of the Theory of Petri Nets
by
Waldemar Korczynski

Classes of Conjugation. Normal Subgroups
by
Wojciech A. Trybulec

Replacing of Variables in Formulas of ZF Theory
by
Grzegorz Bancerek

The Reflection Theorem
by
Grzegorz Bancerek

Binary Operations on Finite Sequences
by
Wojciech A. Trybulec

Finite Join and Finite Meet, and Dual Lattices
by
Andrzej Trybulec

Consequences of the Reflection Theorem
by
Grzegorz Bancerek

Desargues Theorem In Projective 3Space
by
Eugeniusz Kusak

The Limit of a Real Function at Infinity
by
Jaroslaw Kotowicz

The OneSide Limits of a Real Function at a Point
by
Jaroslaw Kotowicz

Lattice of Subgroups of a Group. Frattini Subgroup
by
Wojciech A. Trybulec

Equalities and Inequalities in Real Numbers
by
Andrzej Kondracki

Countable Sets and Hessenberg's Theorem
by
Grzegorz Bancerek

The Limit of a Real Function at a Point
by
Jaroslaw Kotowicz

The Limit of a Composition of Real Functions
by
Jaroslaw Kotowicz

Locally Connected Spaces
by
Beata Padlewska

Construction of Finite Sequence over Ring and Left, Right, and BiModules over a Ring
by
Michal Muzalewski and
Leslaw W. Szczerba

Relations of Tolerance
by
Krzysztof Hryniewiecki

Real Normed Space
by
Jan Popiolek

Schemes of Existence of Some Types of Functions
by
Jaroslaw Kotowicz

Integer and Rational Exponents
by
Konrad Raczkowski

Homotheties and Shears in Affine Planes
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Directed Geometrical Bundles and Their Analytical Representation
by
Grzegorz Lewandowski,
Krzysztof Prazmowski,
and
Bozena Lewandowska

Definable Functions
by
Grzegorz Bancerek

Propositional Calculus
by
Grzegorz Bancerek,
Agata Darmochwal,
and
Andrzej Trybulec

Complex Spaces
by
Czeslaw Bylinski and
Andrzej Trybulec

Several Pepoerties of Fields. Field Theory
by
Jozef Bialas

Infimum and Supremum of the Set of Real Numbers. Measure Theory
by
Jozef Bialas

Series of Positive Real Numbers. Measure Theory
by
Jozef Bialas

From Double Loops to Fields
by
Wojciech Skaba and
Michal Muzalewski

Metrics in Cartesian Product
by
Stanislawa Kanas and
Jan Stankiewicz

Submetric Spaces  Part I
by
Adam Lecko and
Mariusz Startek

On Pseudometric Spaces
by
Adam Lecko and
Mariusz Startek

Real Exponents and Logarithms
by
Konrad Raczkowski and
Andrzej Nedzusiak

Hessenberg Theorem
by
Eugeniusz Kusak and
Wojciech Leonczuk

ThreeArgument Operations and FourArgument Operations
by
Michal Muzalewski and
Wojciech Skaba

Incidence Projective Spaces
by
Wojciech Leonczuk and
Krzysztof Prazmowski

OneDimensional Congruence of Segments, Basic Facts and Midpoint Relation
by
Barbara Konstanta,
Urszula Kowieska,
Grzegorz Lewandowski,
and
Krzysztof Prazmowski

Algebra of Normal Forms
by
Andrzej Trybulec

Ordered Rings  Part I
by
Michal Muzalewski and
Leslaw W. Szczerba

Ordered Rings  Part II
by
Michal Muzalewski and
Leslaw W. Szczerba

Ordered Rings  Part III
by
Michal Muzalewski and
Leslaw W. Szczerba

$N$Tuples and Cartesian Products for $n=5$
by
Michal Muzalewski and
Wojciech Skaba

$N$Tuples and Cartesian Products for $n=6$
by
Michal Muzalewski and
Wojciech Skaba

$N$Tuples and Cartesian Products for $n=7$
by
Michal Muzalewski and
Wojciech Skaba

$N$Tuples and Cartesian Products for $n=8$
by
Michal Muzalewski and
Wojciech Skaba

$N$Tuples and Cartesian Products for $n=9$
by
Michal Muzalewski and
Wojciech Skaba

Ternary Fields
by
Michal Muzalewski and
Wojciech Skaba

The $\sigma$additive Measure Theory
by
Jozef Bialas

Incidence Projective Space ( a reduction theorem in a plane)
by
Eugeniusz Kusak and
Wojciech Leonczuk

Groups, Rings, Left and RightModules
by
Michal Muzalewski and
Wojciech Skaba

Linear Independence in Left Module over Domain
by
Michal Muzalewski and
Wojciech Skaba

Submodules and Cosets of Submodules in Right Module over Associative Ring
by
Michal Muzalewski and
Wojciech Skaba

Operations on Submodules in Right Module over Associative Ring
by
Michal Muzalewski and
Wojciech Skaba

Linear Combinations in Right Module over Associative Ring
by
Michal Muzalewski and
Wojciech Skaba

Linear Independence in Right Module over Domain
by
Michal Muzalewski and
Wojciech Skaba

Calculus of Propositions
by
Jan Popiolek and
Andrzej Trybulec

Calculus of Quantifiers. Deduction Theorem
by
Agata Darmochwal

A Construction of Analytical Ordered Trapezium Spaces
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

On Projections in Projective Planes  Part II
by
Eugeniusz Kusak,
Wojciech Leonczuk,
and
Krzysztof Prazmowski

MetricAffine Configurations in Metric Affine Planes  Part I
by
Jolanta Swierzynska and
Bogdan Swierzynski

MetricAffine Configurations in Metric Affine Planes  Part II
by
Jolanta Swierzynska and
Bogdan Swierzynski

Fanoian, Pappian and Desarguesian Affine Spaces
by
Krzysztof Prazmowski

Elementary Variants of Affine Configurational Theorems
by
Krzysztof Prazmowski and
Krzysztof Radziszewski

SemiAffine Space
by
Eugeniusz Kusak and
Krzysztof Radziszewski

Planes in Affine Spaces
by
Wojciech Leonczuk,
Henryk Oryszczyszyn,
and
Krzysztof Prazmowski

Graphs
by
Krzysztof Hryniewiecki

Mostowski's Fundamental Operations  Part I
by
Andrzej Kondracki

A Projective Closure and Projective Horizon of an Affine Space
by
Henryk Oryszczyszyn and
Krzysztof Prazmowski

Schemes
by
Stanislaw T. Czuba
[MML identifier index,
Mizar home page]