عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.574
QA
1
.
L4
v
.
574
کتابخانه
محل استقرار
English
Computations in higher types
Berlin, New York
Springer-Verlag
1977
203 p. ; 25 cm
Lecture notes in mathematics ; 475
Bibliography: p. 195-196
Bibliography: p. )195(-196
Includes index
Johan Moldestad
1
، Recursive functions
QA
1
.
L4
v
.
574
CA
510/
.
8
s
6491-
Moldestad, Johan
AU
TI
SE
