Journal of Formalized Mathematics
Reqmnts, 2002
University of Bialystok
Copyright (c) 2002
Association of Mizar Users
Boolean Properties of Sets --- Requirements
-
Library Committee
-
Association of Mizar Users
Summary.
-
This article contains proofs of the theorems which are
obvious if the directive 'requirements BOOLE;' will
be added to enviroment declaration of the Mizar article.
MML Identifier:
BOOLE
Contents (PDF format)
Received April 30, 2002
[
Download a postscript version,
MML identifier index,
Mizar home page]