| |
| 1997 | ||
|---|---|---|
| 4 | EE | David Isles: Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfable. Reports on Mathematical Logic 31: 57-74 (1997) |
| 1994 | ||
| 3 | David Isles: A finite analog to the Löwenheim-Skolem theorem. Studia Logica 53(4): 503-532 (1994) | |
| 1992 | ||
| 2 | David Isles: What Evidence is There that 2pow65536 is a Natural Number? Notre Dame Journal of Formal Logic 33(4): 465-480 (1992) | |
| 1971 | ||
| 1 | David Isles: Natural Well-Orderings. J. Symb. Log. 36(2): 288-300 (1971) | |