Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
On Sequentially Compact Subspaces of without the Axiom of Choice
Kyriakos Keremedis, et al. (2003)
The Complexity of Primes in Computable Unique Factorization Domains
Damir D. Dzhafarov, et al. (2018)