David Meredith

In memoriam: Carew Arthur Meredith (1904-1976)

David Meredith, D. Meredith, 1977, Notre Dame J. Formal Log..

Axiomatics for implication

David Meredith, 1979, Notre Dame J. Formal Log..

A calculus of matrical descriptors

David Meredith, 1976, Notre Dame J. Formal Log..

Principal type-schemes and condensed detachment

J. Roger Hindley, David Meredith, D. Meredith, 1990, Journal of Symbolic Logic.

Combinatory and propositional logic

David Meredith, 1974, Notre Dame J. Formal Log..

On a property of certain propositional formulae

David Meredith, 1973, Notre Dame J. Formal Log..

Separating minimal, intuitionist, and classical logic

David Meredith, 1983, Notre Dame J. Formal Log..

Positive logic and λ-constants

David Meredith, 1978 .