関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Unsolvability(Mathematicallogic)
選択行を:
| 資料名 | 所在 |
1 | Computability, 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 |
2 | Degrees of unsolvability / by Gerald E. Sacks. -- Princeton University Press, 1963. -- (Annals of mathematics studies ; 55). | 図書館(書庫) 410.1:S121:1 |
3 | A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg ; : pbk, : [hardback]. -- Princeton University Press, 2020. -- (Annals of mathematics studies ; no. 206). | 理数学 410.9:D |
選択行を:
|