Questions or comments concerning subscriptions, correspondence (e.g. address changes) should be sent to:
Foundation for Informatics, Logic and Mathematics
Krochmalna 3/917
00-864 Warsaw
Poland
e-mail:
romat@mizar.org
fax: +48 (85) 745.74.78