David Meredith

Publication Activity (10 Years)

Years Active: 1973-1990
Publications (10 Years): 0

Publications

J. Roger Hindley, David Meredith
Principal Type-Schemes and Condensed Detachment. J. Symb. Log. 55 (1) (1990)
David Meredith
Separating minimal, intuitionist, and classical logic. Notre Dame J. Formal Log. 24 (4) (1983)
David Meredith
Axiomatics for implication. Notre Dame J. Formal Log. 20 (1) (1979)
David Meredith
In memoriam: Carew Arthur Meredith (1904-1976). Notre Dame J. Formal Log. 18 (4) (1977)
David Meredith
A calculus of matrical descriptors. Notre Dame J. Formal Log. 17 (4) (1976)
David Meredith
Combinatory and propositional logic. Notre Dame J. Formal Log. 15 (1) (1974)
David Meredith
On a property of certain propositional formulae. Notre Dame J. Formal Log. 14 (1) (1973)