An infixed, punctuation-free notation. - Robert D. Carnes; William C. Wilcox (Notre Dame J. Formal Log., 1968)

On infinite matrices and the paradoxes of material implication. - William C. Wilcox (Notre Dame J. Formal Log., 1970)

A mistake in Copi's discussion of completeness. - William C. Wilcox (Notre Dame J. Formal Log., 1971)