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 |
|---|---|---|
| The decidability of one-variable propositional calculi Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
| Simplifications of the recursion scheme Journal of Symbolic Logic | 1972-01-01 | Paper |
| On the number of variables in the axioms Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
| A Single‐Axiom Impligational Calculus of Given Unsolvability Mathematical Logic Quarterly | 1968-01-01 | Paper |
| A reduction of the recursion scheme Journal of Symbolic Logic | 1967-01-01 | Paper |
| Finite models for inequations Journal of Symbolic Logic | 1966-01-01 | Paper |
| Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability | 1965-01-01 | Paper |
Research outcomes over time
This page was built for person: M. D. Gladstone
