John R. Wallace
From MaRDI portal
Person:3272464
Available identifiers
zbMath Open wallace.john-rMaRDI QIDQ3272464
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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4271317 | 1993-11-24 | Paper |
| A Decision Procedure For the System EĪ of Entailment with Negation | 1965-01-01 | Paper |
| Independent Axiom Schemata for the Pure Theory of Entailment | 1960-01-01 | Paper |
Research outcomes over time
This page was built for person: John R. Wallace
