Formalized mathematics : a computer assisted approach (University of Białystok, 1996)
Refereed/Peer-reviewed