Notre Dame Journal of Formal Logic es una revista científica trimestral revisada por pares que cubre los fundamentos de las matemáticas y los 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 en jefe son Michael Detlefsen y Peter Cholak (Universidad de Notre Dame).
Vea consejos para escribir artículos sobre revistas académicas . Se pueden encontrar más sugerencias en la página de discusión del artículo .