Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics. All papers are reviewed by at least three experts from the relevant field. Editorial Board Grzegorz Bancerek, Poland Czesław Bylinski, Poland Adam Grabowski, Poland Artur Kornilowicz, Poland Yatsuka Nakamura, Japan Adam Naumowicz, Poland Marco Riccardi, Italy Piotr Rudnicki, Canada Christoph Schwarzweller, Poland Andrzej Trybulec, Poland Joseph Urban, Czech Freek Wiedijk, the Netherlands Language Editor: Zdzisław Głębocki, University of Bialystok All papers are checked by the Mizar System and automatically translated into English. The system for automatic translation and typesetting with LaTeX is designed and implemented by Grzegorz Bancerek (the design is based on previous works of Andrzej Trybulec and Czeslaw Bylinski).

---

Journal is published by:             University of Bialystok             Plac Uniwersytecki 1             15-420 Bialystok, Poland Copyright © 1990, 1991, 1992, 1993                    by Fondation Philippe le Hodey (ISSN 0777-4028). Copyright © 1996, 1997, 1998, 1999, 2001, 2002, 2003, 2004, 2005, 2006, 2007                    by University of Bialystok (ISSN 1898-9934 (e), ISSN 1426-2630 (p)).