Notre Dame Journal of Formal Logic
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).
| Discipline | Philosophy |
|---|---|
| Language | English |
| Edited by | Michael Detlefsen, Peter Cholak |
| Publication details | |
| History | 1960–present |
| Publisher | |
| Frequency | Quarterly |
| Standard abbreviations | |
| ISO 4 | Notre Dame J. Form. Log. |
| Indexing | |
| ISSN | 0029-4527 (print) 1939-0726 (web) |
| Links | |
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]
gollark: You can't disaggregate literally everything into small component parts without bad tradeoffs.
gollark: Unix philosophy actually bad in some ways, however.
gollark: Is this an attempt at using dictation or something?
gollark: * faster FP16 maths
gollark: Also, they predate any optimizations for machine learning like tensor cores or FP16 maths, so they'll be hilariously slow.
References
- "Notre Dame Journal of Formal Logic". 2012 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2013.
External links
- Official website
- Journal page at Notre Dame University
- Journal page at Project Euclid
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.