عنوان
پدید آورنده
موضوع
رده
515 .25 S989 1972
515
.
25
S989
1972
کتابخانه
محل استقرار
211749
انگلیسی
IR
Generalized recursion theory; proceedings of the 1972 Oslo Symposium
[book]
/ edited by J. E. Fenstad and P. G. Hinman
New York
: American Elsevier Pub.,Co.
، 1974, 1974
viii, 456 p
Studies in logic and the foundations of mathematics, v. 79
Includes 12 papers from the Symposium Bibliography: p. 445-451 also includes bibliographies
Recursive functions
515
.
25
S989
1972
Fenstad, Jens Erik
Hinman, Peter G.
creator
creator
Symposium on Generalized Recursion Theory, Oslo, 1972
author
ایران
515 .25 S989 1972
Previous cataloging
BL
1
Y
