| 2005 |
|---|
| 13 | EE | Geoffrey E. Ostrin,
Stanley S. Wainer:
Complexity in Predicative Arithmetic.
CiE 2005: 378-384 |
| 12 | EE | Geoffrey E. Ostrin,
Stanley S. Wainer:
Elementary arithmetic.
Ann. Pure Appl. Logic 133(1-3): 275-292 (2005) |
| 11 | EE | Stanley S. Wainer,
Richard S. Williams:
Inductive definitions over a predicative arithmetic.
Ann. Pure Appl. Logic 136(1-2): 175-188 (2005) |
| 1999 |
|---|
| 10 | EE | Stanley S. Wainer:
Accessible recursive functions.
Bulletin of Symbolic Logic 5(3): 367-388 (1999) |
| 1998 |
|---|
| 9 | EE | 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) |
