Formalized mathematics : a computer assisted approach - Uniwersytet w Białymstoku (University of Białystok, 1996)
Refereed/Peer-reviewed
Keywords: Mathematics : Periodicals; Logic, Symbolic and mathematical : Periodicals; Mathematical analysis : Foundations : Periodicals; Arithmetic : Foundations : Periodicals; Arithmetic : Foundations; Logic, Symbolic and mathematical; Mathematical analysis : Foundations; Mathematics