---

＜図書＞
Computations in higher types / Johan Moldestad.
(Lecture notes in mathematics ; 574)

出版者	Berlin : Springer
出版年	1977
大きさ	203 p. ; 25 cm.
著者標目	Moldestad, Johan, 1946-
件　名	Recursive functions
一般注記	Includes index. ＼ Bibliography: p. {195}-196.

 類似資料