1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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…