検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA09566044
名称(HDNG)Cooper, S. B. (S. Barry)
注記(NOTE)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)
LCAID95107558
選択行を：
資料名所在
1Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. -- Cambridge University Press, 1996. -- (London Mathematical Society lecture note series ; 224).理数学 410.9:C
2Models 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 University Press, 1999. -- (London Mathematical Society lecture note series ; 259).理数学 410:C
3Sets 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 University Press, 1999. -- (London Mathematical Society lecture note series ; 258).理数学 410.9:C
選択行を
▲ページトップへ