常翔学園 広島国際大学図書館

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). <TW40005966>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 広国呉 広呉書庫2F 410.9||C 30168073 帯出可 0件
No. 0001
巻号
所蔵館 広国呉
配置場所 広呉書庫2F
請求記号 410.9||C
資料ID 30168073
禁帯出区分 帯出可
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者 Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
出版・頒布事項 Cambridge : Cambridge University Press , 1996
形態事項 vii, 347 p. : ill. ; 23 cm
巻号情報
ISBN 0521557364
シリーズ名 London Mathematical Society lecture note series <BB99684963> 224//a
注記 Includes bibliographical references
学情ID BA26582765
本文言語コード 英語
著者標目リンク Cooper, S. B. (S. Barry) <AU40004363>
著者標目リンク Slaman, T. A. (Theodore Allen), 1954- <AU40004362>
著者標目リンク Wainer, S. S <AU40004361>
著者標目リンク London Mathematical Society <AU20019062>
件名標目等 Recursion theory
件名標目等 Computable functions
件名標目等 Unsolvability (Mathematical logic)