著者典拠情報

標目形：
Cooper, S. B. (S. Barry)
属性：
Personal
注記：
Computability, enumerability, unsolvability, 1996: CIP t.p. (S.B. Cooper; Univ. of Leeds) front matter (S. Barry Cooper)
SRC:Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer(Cambridge University Press, 1996)
著者典拠ID：
DA09566044


1.

図書
図書
1. Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
出版情報: Cambridge : Cambridge University Press, 1996
シリーズ名: London Mathematical Society lecture note series ; 224
所蔵情報: loading…
2.

図書
図書
2. Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 258
所蔵情報: loading…
3.

図書
図書
3. Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
edited by S. Barry Cooper, John K. Truss
出版情報: Cambridge ; New York : Cambridge University Press, 1999
シリーズ名: London Mathematical Society lecture note series ; 259
所蔵情報: loading…