David Meredith
From MaRDI portal
Person:758995
Available identifiers
zbMath Open meredith.david.1MaRDI QIDQ758995
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 | 1990-01-01 | Paper |
| Separating minimal, intuitionist, and classical logic | 1983-01-01 | Paper |
| Axiomatics for implication | 1979-01-01 | Paper |
| Positive logic and \(\lambda\)-constants | 1978-01-01 | Paper |
| In memoriam Carew Arthur Meredith (1904-1976) | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4119170 | 1977-01-01 | Paper |
| Combinator operations | 1976-01-01 | Paper |
| A calculus of matrical descriptors | 1976-01-01 | Paper |
| Combinatory and propositional logic | 1974-01-01 | Paper |
| Combinatory and propositional logic | 1974-01-01 | Paper |
| On a property of certain propositional formulae | 1973-01-01 | Paper |
| On a property of certain propositional formulae | 1973-01-01 | Paper |
| The First Monsky-Washnitzer Cohomology Group | 1972-01-01 | Paper |
Research outcomes over time
This page was built for person: David Meredith
