David Isles
From MaRDI portal
Person:689205
Available identifiers
zbMath Open isles.davidMaRDI QIDQ689205
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 |
|---|---|---|
| First-order reasoning and primitive recursive natural number notations | 2010-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943159 | 2000-10-23 | Paper |
| A finite analog to the Löwenheim-Skolem theorem | 1995-08-27 | Paper |
| What evidence is there that \(2^{\land}65536\) is a natural number? | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032253 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824310 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777985 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910524 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106174 | 1975-01-01 | Paper |
| Natural well-orderings | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606584 | 1970-01-01 | Paper |
Research outcomes over time
This page was built for person: David Isles
