Michael D. Resnik

Publication Activity (10 Years)

Years Active: 1962-1974
Publications (10 Years): 0

Publications

Michael D. Resnik
On the philosophical significance of consistency proofs. J. Philos. Log. 3 (1-2) (1974)
C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik
Meeting of the Association for Symbolic Logic: Atlanta 1973. J. Symb. Log. 39 (2) (1974)
Michael D. Resnik
A note on natural deduction. Notre Dame J. Formal Log. 7 (2) (1966)
Michael D. Resnik
A decision procedure for positive implication. Notre Dame J. Formal Log. 3 (3) (1962)