Czeslaw Bylinski
Mizar Articles Stored in
Mizar Mathematical Library
which is I am the author or coauthor:
Some Basic Properties of Sets
, Form.Math. 1(1), 1990,
Functions and Their Basic Properties
, Form.Math. 1(1), 1990,
Functions from a Set to a Set
, Form.Math. 1(1), 1990,
Graphs of Functions
, Form.Math. 1(1), 1990,
Binary Operations
, Form.Math. 1(1), 1990,
Basic Functions and Operations on Functions
, Form.Math. 1(1) 1990,
Partial Functions
, Form.Math. 1(2) 1990,
Introduction to Categories and Functors
, Form.Math. 1(2), 1990,
Some Properties of Real Numbers
, Form.Math. 1(3) 1990, (with
Andrzej Trybulec
),
Variables in Formulae of the First Order Language
, Form.Math. 1(3), 1990, (with
Grzegorz Bancerek
),
The Complex Numbers
, Form.Math. 1(3), 1990,
The Modification of a Function by a Function and the Iteration of the Composition of a Function
, Form.Math. 1(3), 1990,
Finite Sequences and Tuples of Elements of a Non-empty Sets
, Form.Math. 1(3), 1990,
Binary Operations Applied to Finite Sequences
, Form.Math. 1(4), 1990,
Semigroup operations on finite subsets
, Form.Math. 1(4), 1990,
The Sum and Product of Finite Sequences of Real Numbers
, Form.Math. 1(4), 1990,
A Classical First Order Language
, Form.Math. 1(4), 1990,
Subcategories and Products of Categories
, Form.Math. 1(4), 1990,
Complex Spaces
, Form.Math. 2(1), 1991, (with
Andrzej Trybulec
),
Opposite Categories and Contravariant Functors
, Form.Math. 2(3), 1991,
Category Ens
, Form.Math. 2(4), 1991,
Products and Coproducts in Categories
, Form.Math. 2(5), 1991,
Cartesian Categories
Form.Math. 3(2), 1992,
Extremal Properties of Vertices on Special Polygons I
(with Yatsuka Nakamura) Form.Math. 5(1), 1996,
Some Properties of Restrictions of Finite Sequences
Form.Math. 5(2), 1993,
Special Polygons
Form.Math. 5(2), 1993, (with Yatsuka Nakamura)
The correspondence between monotonic many sorted signatures and well-founded graphs
(with
Piotr Rudnicki
)
The correspondence between monotonic many sorted signatures and well founded graphs. Part II
(with
Piotr Rudnicki
)
10 October, 1999 --
bylinski@math.uwb.edu.pl
[
My Home Page
]