The Notre Dame Journal of Formal Logic es una revista científica trimestral revisada por pares que cubre los fundamentos de las matemáticas y campos relacionados de la lógica matemática , así como la filosofía de las matemáticas . Fue establecido en 1960 y es publicado por Duke University Press en nombre de la Universidad de Notre Dame . Los editores jefe son Curtis Franks y Anand Pillay (Universidad de Notre Dame).
La revista está resumida e indexada en:
Según Journal Citation Reports , la revista tiene un factor de impacto en 2012 de 0,431. [1]