このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:122回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Techniques of admissible recursion theory

責任表示 C.T. Chong
シリーズ Lecture notes in mathematics ; 1106
データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1984
本文言語 英語
大きさ vii, 214 p. ; 25 cm
電子版へのリンク

所蔵情報



理系図3F 数理独自 SER/LNM/1106 1984
068222185004832

: gw 理系図 自動書庫 410.8/L 493/(1106) 1984
068582185002487

: gw 数理 雑誌室 SER/LNM/K1106 1984
068252184013301

書誌詳細

一般注記 Bibliography: p. [206]-211
Includes index
著者標目 *Chong, Chi-Tat, 1949-
件 名 LCSH:Recursion theory
分 類 LCC:QA3
LCC:QA9.6
DC19:510 s
DC19:511.3
NDC8:410.96
NDC8:410.8
書誌ID 1000044224
ISBN 3540139028
NCID BA00606879
巻冊次 : gw ; ISBN:3540139028 ; PRICE:DM31.50
: us ; ISBN:0387139028
登録日 2009.09.10
更新日 2017.02.18