Questions or comments concerning subscriptions, correspondence (e.g. address changes) , and about distribution of the Mizar System and Mizar Mathematical Library <--> should be sent to:
Foundation (in Polish: Fundacja na rzecz Informatyki, Logiki i Matematyki)
Krochmalna 3/917
00-864 Warsaw
Poland

e-mail:   formalized.mathematics@mizar.org
fax:   +48 (85) 745.74.78