このページのリンク

Techniques of admissible recursion theory / C.T. Chong
(Lecture notes in mathematics ; 1106)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1984
本文言語 英語
大きさ vii, 214 p. ; 25 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||1106 9852440513
3540139028

書誌詳細を非表示

一般注記 Bibliography: p. [206]-211
Includes index
著者標目  *Chong, Chi-Tat, 1949-
分 類 LCC:QA3
LCC:QA9.6
DC19:510 s
DC19:511.3
NDC8:410.96
NDC8:410.8
件 名 LCSH:Recursion theory
書誌ID TY00016850
ISBN 3540139028
NCID BA00606879