このページのリンク

Recursion on the countable functionals / Dag Normann
(Lecture notes in mathematics ; 811)

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

所蔵情報を非表示

積層4層 : Berlin 410.8||L||811 9852033122
3540100199

書誌詳細を非表示

一般注記 Bibliography: p. 186-187
Includes index
著者標目  *Normann, Dag, 1947-
分 類 LCC:QA3
LCC:QA9.6
DC19:510 s
DC19:511.3
件 名 LCSH:Recursion theory
LCSH:Computable functions
LCSH:Functionals
書誌ID TY00017097
ISBN 3540100199
NCID BA04010688