Formalized mathematics : a computer assisted approach.
Uniwersytet w Białymstoku,issuing body.
Vol. 11, 3 called also: Vol. 11, 3/4 (2003).
Mode of access: World Wide Web.
Description based on print version record.
Latest issue consulted: Volume 23, issue 3 (Sep 2015) De Gruyter website (viewed October 27).
Refereed/Peer-reviewed
Mathematics
Logic, Symbolic and mathematical
Mathematical analysis
Arithmetic
Arithmetic
Logic, Symbolic and mathematical.
Mathematical analysis
Mathematics.