عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.1106
QA
1
.
L4
v
.
1106
کتابخانه
محل استقرار
English
Techniques of admissible recursion theory
Berlin, New York
Springer-Verlag
1984
vii, 214 p. ; 25 cm
Lecture notes in mathematics, 6011
Bibliography: p. 206-211
Bibliography: p. )206(-211
Includes index
C.T. Chong
1
، Recursion theory
QA
1
.
L4
v
.
1106
CA
510
s
9491-
Chong, Chi-Tat
AU
TI
SE
