The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 6, Number 3
Publication Date: 1965
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice.
William J. Frascella; 163-179
A note on continuous games, the notion of strategy and Zermelo's axiom.
Celso de Renna e Souza; 183-189
A note on the axiomatization of Rubin's system $(S)$.
John Thomas Canty; 190-192
Axiomatization of propositional calculus with Sheffer functors.
Thomas W. Scharle; 209-217
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic.
Albert A. Mullin; 218-222
Notre Dame Journal of Formal Logic
