年 〜
年

検索結果 6 件

Proofs and computations

Proofs and computations
紙図書
Helmut Schwichtenberg, Stanley S. WainerCambridge University Press2012
全国の図書館

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)
紙図書
Cambridge University Press1996.<MA41-A95>
国立国会図書館
  • 著者標目Cooper, 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
紙図書
edited by S.B. Cooper, T.A. Slaman, S.S. WainerCambridge University Press1996
全国の図書館

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)
紙図書
Cambridge University Press1980.<MA41-165>
国立国会図書館
  • 著者標目Logic 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
紙図書
edited by Peter Aczel, Harold Simmons and Stanley S. WainerCambridge University Press1992
全国の図書館

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.
紙図書
edited by F.R. Drake and S.S. WainerCambridge University Press1980
全国の図書館

検索結果は以上です。