Notre Dame Journal of Formal Logic

期刊简介：The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.

【译文】《圣母院形式逻辑杂志》，成立于1960年，致力于发表在哲学逻辑、数学逻辑及相关领域的高质量、原创性研究论文，包括具有强烈历史兴趣的论文。该杂志还愿意选择性发表关于重要当前主题的阐释性文章以及书评。