Journal of Formalized Mathematics
EMM, 2002
University of Bialystok
Copyright (c) 2002 Association of Mizar Users

Boolean Properties of Sets --- Theorems

Library Committee
Association of Mizar Users

MML Identifier: XBOOLE_1

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

Contents (PDF format)

  1. Main Part
  2. Appendix
  3. Appendix 2


[1] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

Received April 8, 2002

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