Journal of Formalized Mathematics
Axiomatics, 1989
University of Bialystok
Copyright (c) 1989
Association of Mizar Users
Mizar Built-in Notions
-
Library Committee
-
Association of Mizar Users
MML Identifier:
HIDDEN
Contents (PDF format)
Received January 1, 1989
[
Download a postscript version,
MML identifier index,
Mizar home page]