Journal of Formalized Mathematics
Addenda, 1995
University of Bialystok
Copyright (c) 1995 Association of Mizar Users

Preliminaries to Structures


Library Committee
Association of Mizar Users

MML Identifier: STRUCT_0

The terminology and notation used in this paper have been introduced in the following articles [3] [1] [4] [2]

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[2] Beata Padlewska. Families of sets. Journal of Formalized Mathematics, 1, 1989.
[3] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[4] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.

Received January 6, 1995

[ Download a postscript version, MML identifier index, Mizar home page]