C.5 Formalized Mathematics

When the Mizar articles are accepted, they are automatically translated
into English theses and are placed in Formalized Mathematics. This is published
from the Warsaw University Bialystok Branch several times per year. Up
until the end of 1998, a total of 7 volumes have been published, all articles
registered into the Mizar library are entered in these volumes as an English
paper.

For more information about Formalized Mathematics, please
contact the following.

Fondation for Information Technology

Logic and Mathematics

Krochmalna 3/917

00-864 Warsaw

Poland

Fax: +48(85) 745.74.78

E-mail: romat@mizar.org

Formal name of Formalized Mathematics:

Formalized Mathematics,

Edited by Warsaw University-Bialystok Branch,

Roman Matuszewaki.

ISSN 1426-2630.