→ ZMATH
J. Formaliz. Reason.
Journal of Formalized Reasoning [electronic only]. Università di Bologna, CIB Centro Inter-Bibliotecario, Bologna. English. [1 vol. (= 1 issue) a year]
Journal, ISSN 1972-5787/e
http://jfr.cib.unibo.it/issue/archive
Cover-to-cover reviewing in Zentralblatt MATH.