On a property of certain propositional formulae. - David Meredith 002 (Notre Dame J. Formal Log., 1973)

Combinatory and propositional logic. - David Meredith 002 (Notre Dame J. Formal Log., 1974)

A calculus of matrical descriptors. - David Meredith 002 (Notre Dame J. Formal Log., 1976)

In memoriam: Carew Arthur Meredith (1904-1976). - David Meredith 002 (Notre Dame J. Formal Log., 1977)

Axiomatics for implication. - David Meredith 002 (Notre Dame J. Formal Log., 1979)

Separating minimal, intuitionist, and classical logic. - David Meredith 002 (Notre Dame J. Formal Log., 1983)

Principal Type-Schemes and Condensed Detachment. - J. Roger Hindley; David Meredith 002 (J. Symb. Log., 1990)