Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
Conceptual role semantics.
Gilbert Harman. (1982)
Natural deduction in normal modal logic.
John Hawthorn. (1990)
Tarski on Logical Consequence
Mario Gómez-Torrente. (1996)
Wittgenstein versus Turing on the nature of Church's thesis.
S. G. Shanker. (1987)