Oliver William Tatton-Brown
From MaRDI portal
Person:5013622
Available identifiers
zbMath Open tatton-brown.oliver-williamMaRDI QIDQ5013622
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 |
|---|---|---|
| Rigour and intuition | 2024-12-10 | Paper |
| Plural ancestral logic as the logic of arithmetic | 2024-06-08 | Paper |
| RIGOUR AND PROOF | 2023-05-26 | Paper |
| RIGOUR AND PROOF – CORRIGENDUM | 2023-03-02 | Paper |
| Semantics and completeness for schematic logic | 2021-12-02 | Paper |
| A direct proof of Tychonoff's theorem | 2017-09-12 | Paper |
Research outcomes over time
This page was built for person: Oliver William Tatton-Brown
