E-LIB Suche - Ergebnisse für: WAINER, STANLEY S.

1

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic. 27 (2021) 2 - p. 168-186 , 2021

Link: https://www.jstor.org/st..

2

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic. 27 (2021) 2 - p. 168-186 , 2021

Link: https://doi.org/10.1017/..

3

Computing Bounds from Arithmetical Proofs:

, In: Ways of Proof Theory,

Wainer, Stanley S. - p. 469-486 , 2010

Link: https://doi.org/10.1515/..

4

Inductive definitions over a predicative arithmetic:

Wainer, Stanley S. ; Williams, Richard S.
Annals of Pure and Applied Logic. 136 (2005) 1-2 - p. 175-188 , 2005

Link: https://doi.org/10.1016/..

5

Accessible Recursive Functions:

Wainer, Stanley S.
The Bulletin of Symbolic Logic. 5 (1999) 3 - p. 367-388 , 1999

Link: https://www.jstor.org/st..

6

Members of countable π10 classes:

Cenzer, Douglas ; Clote, Peter ; Smith, Rick L...
Annals of Pure and Applied Logic. 31 (1986) - p. 145-163 , 1986

Link: https://doi.org/10.1016/..

7

Members of countable π 1 0 classes:

Dept. of Mathematics, University of Florida, Gainesville, FL 32611, USA ( host institution ) ; Cenzer, Douglas ( author ) ; Clote, Peter ( author )...
Annals of Pure and Applied Logic. , 1986

Link: https://doi.org/10.1016/..

8

Proofs and computations

Perspectives in logic

Schwichtenberg, Helmut ; Wainer, S. S. , 2012

Link: http://dx.doi.org/10.101..

9

Proofs and Computations

Perspectives in Logic

Schwichtenberg, Helmut ; Wainer, S. S , 2011

Link: https://search.ebscohost..

10

Computability, enumerability, unsolvability: directions in ..

London Mathematical Society lecture note series, 224

Cooper, S. B ; Slaman, T. A ; Wainer, S. S , 1996

Link: https://search.ebscohost..

11

Slow Growing Versus Fast Growing:

Wainer, S. S.
The Journal of Symbolic Logic. 54 (1989) 2 - p. 608-614 , 1989

Link: https://www.jstor.org/st..

12

The Slow-Growing and the Grzegorczyk Hierarchies:

Cichon, E. A. ; Wainer, S. S.
The Journal of Symbolic Logic. 48 (1983) 2 - p. 399-408 , 1983

Link: https://www.jstor.org/st..

13

European Summer Meeting of the Association for Symbolic Log..:

Drake, F. R. ; Wainer, S. S.
The Journal of Symbolic Logic. 46 (1981) 2 - p. 435-446 , 1981

Link: https://www.jstor.org/st..

14

Recursion theory

its generalisations and applications ; proceedings of logic... London Mathematical Society lecture note series ; 45

Drake, Frank Robert ; Wainer, S. S. , 1980

Copies: Zentrale:E02 h mat 010 i/50-79

15

Recursion theory: its generalisations and applications : pr..

London Mathematical Society lecture note series, 45

Drake, F. R ; Wainer, S. S , 1980

Link: https://search.ebscohost..