The ''Notre Dame Journal of Formal Logic'' is a quarterly

peer-reviewed Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work ( peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer review ...

scientific journal In academic publishing, a scientific journal is a periodical publication designed to further the progress of science by disseminating new research findings to the scientific community. These journals serve as a platform for researchers, schola ...

covering the

foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...

and related fields of

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

, as well as

philosophy of mathematics Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathem ...

. It was established in 1960 and is published by

Duke University Press Duke University Press is an academic publisher and university press affiliated with Duke University. It was founded in 1921 by William T. Laprade as The Trinity College Press. (Duke University was initially called Trinity College). In 1926 ...

on behalf of the

University of Notre Dame The University of Notre Dame du Lac (known simply as Notre Dame; ; ND) is a Private university, private Catholic research university in Notre Dame, Indiana, United States. Founded in 1842 by members of the Congregation of Holy Cross, a Cathol ...

. The

editors-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The editor-in-chief heads all departments of the organization and is held accoun ...

are Curtis Franks and

Anand Pillay Anand Pillay (born 7 May 1951) is a British mathematician and logician working in model theory and its applications in algebra and number theory. Biography Pillay studied as an undergraduate at the University of Oxford, obtaining a Bachel ...

(University of Notre Dame). The founder of the magazine was Boleslaw Sobocinski.

Abstracting and indexing

The journal is abstracted and indexed in: According to the ''

Journal Citation Reports ''Journal Citation Reports'' (''JCR'') is an annual publication by Clarivate. It has been integrated with the Web of Science and is accessed from the Web of Science Core Collection. It provides information about academic journals in the natur ...

'', the journal has a 2012

impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ...

of 0.431.

References

External links

*
Journal page
at Notre Dame University
Journal page
at

Project Euclid Project Euclid is a collaborative partnership between Cornell University Library and Duke University Press which seeks to advance scholarly communication in theoretical and applied mathematics and statistics through partnerships with independent a ...

Mathematical logic Mathematical logic journals Logic journals Philosophy of mathematics journals Duke University Press academic journals Quarterly journals Academic journals established in 1960 {{math-journal-stub University of Notre Dame academic journals Foundations of mathematics journals