عنوان
پدید آورنده
موضوع
رده
QA 248 .5 .S93 1972
QA
248
.
5
.
S93
1972
کتابخانه
محل استقرار
48842
آخر۲۷
English
)20(
Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Amsterdam, North-Holland Pub. Co., New York
American Elsevier Pub. Co.
1974
viii, 456 p.; 23 cm
Studies in logic and the foundations of mathematics
V.79
Includes bibliographical references and index
، Recursive functions
QA
248
.
5
.
S93
1972
AU
Ed. by J. E. Fenstad and P. G. Hinman
AU kirE sneJ ,datsneF ed.
AU .G reteP ,namniH ed.
TI
SE
Symposium on Generalized Recursion theory Oslo, 1972
02
