Formalized mathematics a computer assisted approach. (University of Bia¿¿ystok)