A decision procedure for positive implication. - Michael D. Resnik (Notre Dame J. Formal Log., 1962)

A note on natural deduction. - Michael D. Resnik (Notre Dame J. Formal Log., 1966)

On the philosophical significance of consistency proofs. - Michael D. Resnik (J. Philos. Log., 1974)

Meeting of the Association for Symbolic Logic: Atlanta 1973. - C. Ward Henson; Bjarni Jónsson; E. G. K. López-Escobar; Michael D. Resnik (J. Symb. Log., 1974)

Quine and the Web of Belief. - Michael D. Resnik (The Oxford Handbook of Philosophy of Mathematics and Logic, 2007)