Individual subscribers and institutions with electronic access can view issues of the Notre Dame Journal of Formal Logic online. If you have not signed up, review the first-time access instructions.

The Notre Dame Journal of Formal Logic publishes original work in all areas of logic and the foundations of mathematics. Leveraging a strong interdisciplinary editorial board—including esteemed scholars of philosophy, mathematics, linguistics, and computer science from around the world—the journal strikes a unique balance among historical, philosophical, and mathematical perspectives. In addition to addressing philosophical and mathematical logic at a broad level, the journal delves into disciplinary subareas such as formal semantics, modal logic, constructivist logics, recursion theory/computability theory, model theory, and proof theory and provides an outlet for work addressing computational, informatic, and linguistic concerns.

Related links:

Subscribers: Access Journal Online
Notre Dame Journal of Formal Logic online access instructions for institutions
NDJFL Web site

Frequency: Quarterly