4091
Moldestad, Johan
6491-
Computations in higher types
Berlin; New York
Springer-Verlag
1977
203p
Lecture notes in mathematics; 475
Bibliography: p. ]195[-196
Includes index
]by[ Johan Moldestad
، Recursive functions
QA
3
.
L28
no
.
574
AU
TI
SE
CL
