→ ZMATH
Formaliz. Math.
Formalized Mathematics. De Gruyter (De Gruyter Open), Warsaw; University of Białystok, Białystok. English. [1 vol. (= 4 issues) a year]
Journal, ISSN 1426-2630; 1898-9934/e
http://www.degruyter.com/view/j/forma
http://fm.mizar.org/
Cover-to-cover reviewing in Zentralblatt MATH.
Library shelfmarks: GOE: ZA 87180/FMAG (1.1990 - 15.2007)
