Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990
Association of Mizar Users
Schemes
-
Stanislaw T. Czuba
-
Warsaw University, Bialystok
Summary.
-
Some basic schemes of quantifier calculus are proved.
Supported by RPBP.III-24.C10.
Contents (PDF format)
Received December 17, 1990
[
Download a postscript version,
MML identifier index,
Mizar home page]