Jump to main content

yr 〜
yr

Search results 6

Proofs and computations

Proofs and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerCambridge University Press2012
Other Libraries in Japan

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1996.<MA41-A95>
National Diet Library
  • Author HeadingCooper, S. B. (S. Barry) Slaman, T. A. (Theodore Allen) , 1954- Wainer, S. S.

Computability, enumerability, unsolvability : directions in recursion theory

Computability, enumerability, unsolvability : directions in recursion theory
Paper図書
edited by S.B. Cooper, T.A. Slaman, S.S. WainerCambridge University Press1996
Other Libraries in Japan

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)
Paper図書
Cambridge University Press1980.<MA41-165>
National Diet Library
  • Author HeadingLogic Colloquium (1979 : Leeds, Yorkshire) Drake, F. R. (Frank Robert) Wainer, S. S.

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 pbk

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 pbk
Paper図書
edited by Peter Aczel, Harold Simmons and Stanley S. WainerCambridge University Press1992
Other Libraries in Japan

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 : pbk.

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 : pbk.
Paper図書
edited by F.R. Drake and S.S. WainerCambridge University Press1980
Other Libraries in Japan

Reached to the end of result.

RSS