Notre Dame Journal of Formal Logic

Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics. With an interdisciplinary editorial board, the journal strikes a unique balance among historical, philosophical, and mathematical perspectives. Advance publication of articles online is available.

自1960年以来，《圣母大学形式逻辑杂志》在所有的逻辑和数学基础领域发表了原创作品。通过跨学科的编辑委员会，该杂志在历史、哲学和数学观点之间取得了独特的平衡。可在网上预先发表文章。