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.