ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Degrees of unsolvability / by Gerald E. Sacks
(
Annals of mathematics studies
;
no. 55
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
科学文化論(品)
410.1/Sa12
018707643X
94261
仮想書架
仮想書架
書誌詳細を非表示
版
2nd ed
出版情報
Princeton, N.J. : Princeton University Press , 1966
大きさ
ix, 174 p. ; 24 cm
一般注記
Bibliography: p. 173-[175]
著者標目
*Sacks, Gerald E., 1933-
件 名
LCSH:
Recursive functions
LCSH:
Unsolvability (Mathematical logic)
分 類
LCC:
QA248.5
DC:
517.5
本文言語
英語
書誌ID
TB10013695
ISBN
0691079412
NCID
BA06818971
巻冊次
ISBN:0691079412
目次/あらすじ
類似資料
1
Computability & unsolvability / Martin Davis
2
Degrees of unsolvability / by Gerald E. Sacks
3
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
4
Recursive function theory and logic
5
Degrees of unsolvability / Joseph R. Shoenfield
:North-Holland,:American Elsevier
6
Recursive functions / by Rózsa Péter ; [translated by István Földes]
7
Recursiveness / Samuel Eilenberg, Calvin C. Elgot
8
Theory of formal systems / by Raymond M. Smullyan
9
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions / edited by Martin Davis
: pbk.
10
Multivalent functions / by W.K. Hayman