David Meredith
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Principal type-schemes and condensed detachment Journal of Symbolic Logic | 1990-01-01 | Paper |
| Separating minimal, intuitionist, and classical logic Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| Axiomatics for implication Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
| Positive logic and \(\lambda\)-constants Studia Logica | 1978-01-01 | Paper |
| In memoriam Carew Arthur Meredith (1904-1976) Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3543992 (Why is no real title available?) | 1977-01-01 | Paper |
| Combinator operations Studia Logica | 1976-01-01 | Paper |
| A calculus of matrical descriptors Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| Combinatory and propositional logic Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| Combinatory and propositional logic Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| On a property of certain propositional formulae Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
| On a property of certain propositional formulae Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
| The First Monsky-Washnitzer Cohomology Group Nagoya Mathematical Journal | 1972-01-01 | Paper |
Research outcomes over time
This page was built for person: David Meredith
