| 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)e-mail: formalized.mathematics@mizar.org
Lasek Brzozowy 15/9
02-792 Warsaw
Poland