عنوان
پدید آورنده
موضوع
رده
QA 9 .6 .R4 1985
QA
9
.
6
.
R4
1985
کتابخانه
محل استقرار
95046
آخر۲۷
English
)20(
Recursion theory
Providence, R.I.
American Mathematical Society
1985
vii, 528 p. : ill. ; 27 cm
Proceedings of symposia in pure mathematics, v. 24
Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982--T.p. verso
Includes bibliographies
، Recursion theory
QA
9
.
6
.
R4
1985
TI
)edited by Anil Nerode, Richard A. Shore(
AU edoreN 1932-
AU erohS 1946-
CO American Mathematical Society
CO Association for Symbolic Logic
CO AMS-ASL Summer Institute on Recursion Theory, Cornell University(, )2891
SE
02
