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.
《圣母大学形式逻辑杂志》(Notre Dame Journal of Formal Logic),成立于1960年,旨在发表哲学逻辑、数理逻辑和相关领域的高质量原创研究论文,包括具有引人注目的历史意义的论文。《日刊》还愿意有选择地发表关于当前感兴趣的重要主题的说明性文章以及书评。