Stanley S. Wainer

	2005
13		Geoffrey E. Ostrin, Stanley S. Wainer: Complexity in Predicative Arithmetic. CiE 2005: 378-384
12		Geoffrey E. Ostrin, Stanley S. Wainer: Elementary arithmetic. Ann. Pure Appl. Logic 133(1-3): 275-292 (2005)
11		Stanley S. Wainer, Richard S. Williams: Inductive definitions over a predicative arithmetic. Ann. Pure Appl. Logic 136(1-2): 175-188 (2005)
	1999
10		Stanley S. Wainer: Accessible recursive functions. Bulletin of Symbolic Logic 5(3): 367-388 (1999)
	1998
9		Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer: Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37(5-6): 273 (1998)
	1994
8		Stanley S. Wainer: The Hierarchy of terminating Recursive Programs over N. LCC 1994: 281-299
	1993
7		Wilfried Sieg, Stanley S. Wainer: Program Transformation and Proof Transformation. CSL 1993: 305-317
	1989
6		Stanley S. Wainer: Slow Growing Versus Fast Growing. J. Symb. Log. 54(2): 608-614 (1989)
	1983
5		E. A. Cichon, Stanley S. Wainer: The Slow-Growing and the Grzecorczyk Hierarchies. J. Symb. Log. 48(2): 399-408 (1983)
	1981
4		F. R. Drake, Stanley S. Wainer: European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. J. Symb. Log. 46(2): 435-446 (1981)
	1980
3		Dag Normann, Stanley S. Wainer: The 1-Section of a Countable Functional. J. Symb. Log. 45(3): 549-562 (1980)
	1974
2		Stanley S. Wainer: A Hierarchy for the 1-Section of Any Type Two Object. J. Symb. Log. 39(1): 88-94 (1974)
	1972
1		Stanley S. Wainer: Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. J. Symb. Log. 37(2): 281-292 (1972)

Coauthor Index

1	E. A. Cichon	[5]
2	F. R. Drake	[4]
3	Gerhard Jäger	[9]
4	Dag Normann	[3]
5	Geoffrey E. Ostrin	[12] [13]
6	Wolfram Pohlers	[9]
7	Wilfried Sieg	[7]
8	Richard S. Williams	[11]

Colors in the list of coauthors