Questions or comments concerning subscriptions, correspondence (e.g. address changes) should be sent to:
Foundation Formalized Mathematics
Krochmalna 3/917
00-864 Warsaw
Poland

Participation in publication of the journal Formalized Mathematics with collaboration of deGruyter Open, publication fee for an article - 300 Euro (editorial costs, any costs of administering the peer review system, online hosting and archiving, introduction to several Abstract Data Bases - more as 30).
e-mail:   formalized.mathematics@mizar.org
fax:   +48 (85) 745.74.78