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)
Lasek Brzozowy 15/9
02-792 Warsaw
Poland

e-mail:   formalized.mathematics@mizar.org