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.

Top downloads over the last seven days

Russell's first theory of denoting and quantification.Paolo DauVolume 27, Number 1 (1986)
A simple generalization of Turing computability.William J. ThomasVolume 20, Number 1 (1979)
Life, Art, and MysticismLuitzen Egbertus Jan BrouwerVolume 37, Number 3 (1996)
Message semantics.David HarrahVolume 27, Number 3 (1986)
Abstraction and Set TheoryBob HaleVolume 41, Number 4 (2000)
  • ISSN: 0029-4527 (print), 1939-0726 (electronic)
  • Publisher: Duke University Press
  • Discipline(s): Logic
  • Full text available in Euclid: 1960 -- 2014
  • Access: Articles older than 5 years are open
  • Euclid URL:

Featured article

On Pseudo-Finite Dimensions

Ehud HrushovskiVolume 54, Number 3-4

We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].