Анджей Трибулец , польский математик и ученый-компьютерщик (р. 1941 г.)

Andrzej Wojciech Trybulec; 29 января 1941, Краков, Польша — 11 сентября, 2013, Белосток, Польша) — польский математик и ученый, известный своими работами над системой Mizar.