ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
検索結果一覧に戻る
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Recursiveness / Samuel Eilenberg, Calvin C. Elgot
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
応用数学(越)
418.6/E 1
50000111626
111626
仮想書架
仮想書架
書誌詳細を非表示
出版情報
New York ; London : Academic Press , 1970
大きさ
ix, 89 p. ; 24 cm
著者標目
*Eilenberg, Samuel
Elgot, Calvin C.
件 名
LCSH:
Recursive functions
分 類
LCC:
QA248.5
DC18:
512/.8
本文言語
英語
書誌ID
TB10054893
ISBN
0122340507
NCID
BA03852780
巻冊次
ISBN:0122340507
目次/あらすじ
類似資料
1
Recursive functions / by Rózsa Péter ; [translated by István Földes]
2
Degrees of unsolvability / Joseph R. Shoenfield
:North-Holland,:American Elsevier
3
Degrees of unsolvability / by Gerald E. Sacks
4
Computability & unsolvability / Martin Davis
5
Recursive function theory and logic
6
Degrees of unsolvability / by Gerald E. Sacks
7
Theory of formal systems / by Raymond M. Smullyan
8
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
9
Computations in higher types / Johan Moldestad
: Berlin,: New York
10
Formalized recursive functionals and formalized realizability / by S.C. Kleene