Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990 Association of Mizar Users


Stanislaw T. Czuba
Warsaw University, Bialystok


Some basic schemes of quantifier calculus are proved.

Supported by RPBP.III-24.C10.

MML Identifier: SCHEMS_1

Contents (PDF format)

Received December 17, 1990

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