Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi.
Charles H. Lambros. (1979)
Marie La Palme Reyes, et al. (1994)
Chris Mortensen. (1980)
Hugues Leblanc, et al. (1991)