ART

The Notre Dame Journal of Formal Logic is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Michael Detlefsen and Peter Cholak (University of Notre Dame).
Abstracting and indexing

The journal is abstracted and indexed in:

Arts and Humanities Citation Index
Current Contents/Arts and Humanities
MathSciNet
Science Citation Index Expanded
Scopus
The Philosopher's Index
Zentralblatt MATH

According to the Journal Citation Reports, the journal has a 2012 impact factor of 0.431.[1]
References

"Notre Dame Journal of Formal Logic". 2012 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2013.

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License