We stand with Ukraine  

David Meredith

Affiliations:
  • Merrimack, New Hampshire, USA


According to our database1, David Meredith authored at least 7 papers between 1973 and 1990.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
Principal Type-Schemes and Condensed Detachment.
[BibTeX]
[DOI]
J. Roger Hindley
,
David Meredith
J. Symb. Log., 1990

1983
Separating minimal, intuitionist, and classical logic.
[BibTeX]
[DOI]
David Meredith
Notre Dame J. Formal Log., 1983

1979
Axiomatics for implication.
[BibTeX]
[DOI]
David Meredith
Notre Dame J. Formal Log., 1979

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

1976
A calculus of matrical descriptors.
[BibTeX]
[DOI]
David Meredith
Notre Dame J. Formal Log., 1976

1974
Combinatory and propositional logic.
[BibTeX]
[DOI]
David Meredith
Notre Dame J. Formal Log., 1974

1973
On a property of certain propositional formulae.
[BibTeX]
[DOI]
David Meredith
Notre Dame J. Formal Log., 1973


  Loading...