David Isles

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2010

5 David Isles: First-Order Reasoning and Primitive Recursive Natural Number Notations. Studia Logica 96(1): 49-64 (2010)

1997

4 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 2⁶⁵⁵³⁶ 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)

	2010
5		David Isles: First-Order Reasoning and Primitive Recursive Natural Number Notations. Studia Logica 96(1): 49-64 (2010)
	1997
4		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 2⁶⁵⁵³⁶ 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)

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page