Andrzej Trybulec

From Wikipedia, the free encyclopedia

Andrzej Trybulec, (born January 29, 1941) is a Polish mathematician and computer scientist, noted for development of the Mizar system [1].