Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief
Patrick Maher. (2006)
The Halting Problem Is Decidable on a Set of Asymptotic Probability One
Joel David Hamkins, et al. (2006)
