Richard Butrick
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 |
|---|---|---|
| A system of predicate logic with trans-atomic units Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
| Systems of sentence logic with trans-atomic units Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
| A complete system generation algorithm for list structures International Journal of Computer Mathematics | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3827820 (Why is no real title available?) | 1981-01-01 | Paper |
| The foundations of the logic of<i>N</i>-tuples International Journal of Computer Mathematics | 1981-01-01 | Paper |
| Shoenfield on n-tuples Synthese | 1978-01-01 | Paper |
| A deduction rule for vbto \((\;)^n_{i=1}\) Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| The numeral axioms Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3365196 (Why is no real title available?) | 1972-01-01 | Paper |
Research outcomes over time
This page was built for person: Richard Butrick
