The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.

Quick Facts Discipline, Language ...

Journal of Formalized Reasoning

Discipline	Mathematical formalization
Language	English
Edited by	Andrea Asperti
Publication details
History	2008–present
Publisher	University of Bologna (Italy)
Frequency	Biannual
Open access	Yes
Standard abbreviations ISO 4 (alt) · Bluebook (alt1 · alt2) NLM (alt) · MathSciNet (alt )
ISO 4	J. Formaliz. Reason.
Indexing CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus
ISSN	1972-5787
OCLC no.	456198191
Links
Journal homepage Online access Online archive

Close

The journal is abstracted and indexed in Scopus, MathSciNet, and Zentralblatt MATH.

• Official website

This article about a computer science journal is a stub. You can help Wikipedia by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page.

• v
• t
• e