David Isles

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 Studia Logica	2010-10-15	Paper
scientific article; zbMATH DE number 1415871 (Why is no real title available?)	2000-10-23	Paper
A finite analog to the Löwenheim-Skolem theorem Studia Logica	1995-08-27	Paper
What evidence is there that \(2^{\land}65536\) is a natural number? Notre Dame Journal of Formal Logic	1993-12-06	Paper
scientific article; zbMATH DE number 4130378 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4099293 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4037808 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3720909 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3529821 (Why is no real title available?)	1975-01-01	Paper
Natural well-orderings Journal of Symbolic Logic	1971-01-01	Paper
scientific article; zbMATH DE number 3328154 (Why is no real title available?)	1970-01-01	Paper

Research outcomes over time

This page was built for person: David Isles