このページのリンク

Computations in higher types / Johan Moldestad
(Lecture notes in mathematics ; 574)

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

所蔵情報を非表示

積層4層 : Berlin 410.8||L||574 9851722831
3540081321

書誌詳細を非表示

一般注記 Bibliography: p. [195]-196
Includes index
著者標目  *Moldestad, Johan, 1946-
分 類 LCC:QA3
LCC:QA9.615
DC:510/.8 s
DC:511/.3
件 名 LCSH:Recursive functions
書誌ID TY00017283
ISBN 3540081321
NCID BA06592212