عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .F46
QA
9
.
6
.
F46
کتابخانه
محل استقرار
73428
آخر۲۷
English
)20(
Fenstad, Jens Erik.
General recursion theory : an axiomatic approach
Berlin, New York
Springer-Verlag
1980
xi, 225 p. ; 25 cm
Perspectives in mathematical logic
Bibliography: p. )209(-216
Includes indexes
، Recursion theory
QA
9
.
6
.
F46
AU
Jens E. Fenstad
TI
02
