"Formalized Mathematics"

Dear All,

I would like to inform you that from May 2008
our journal "Formalized Mathematics" is published at the
MetaPress platform:
http://versita.metapress.com/content/121073/
Every article has a DOI number and all articles will soon
be indexed by most Abstracting Services.

Additionaly, please observe that 5 articles published
in "Formalized Mathematics" are in the first 20 most
cited computer science articles in the CiteSeerX:
http://citeseerx.ist.psu.edu/stats/articles;jsessionid=D28942507FE29084C3D690F0B650872A

Best regards,

Roman Matuszewski, Editor

-------
dr Roman Matuszewski, University of Bialystok, Poland
http://mizar.org/people/romat/