|
|
|
|
LEADER |
01167nam a2200277 a 4500 |
001 |
1289974 |
005 |
20171111232725.0 |
008 |
000524s1985 gr er 100 0 eng d |
020 |
|
|
|a 0821814478
|
040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
041 |
0 |
|
|a eng
|
082 |
|
0 |
|2 22
|a 511.35
|
111 |
2 |
|
|a AMS Summer Research Institute
|c Cornell University)
|d (1982:
|
245 |
1 |
0 |
|a Recursion theory/
|c edited by Anil Nerode and Richard A. Shore
|
260 |
|
|
|a Providence:
|b American Mathematical Society,
|c 1985
|
300 |
|
|
|a vii, 528 p. ;
|c 26 cm.
|
490 |
0 |
|
|a Proceedings of symposia in pure mathematics,
|v 42
|x 0082-0717 ;
|
500 |
|
|
|a Proceedings of the AMS - ASL summer institute on recursion theory held at Cornell University Ithaca, New York June 28 - July 16, 1982
|
504 |
|
|
|a Includes bibliographical references
|
650 |
|
0 |
|a Recursion theory
|x Addresses,essays,lectures
|
650 |
|
0 |
|a Mathematical logic
|
650 |
|
0 |
|a Recursion theory
|
700 |
1 |
|
|a Nerode, Anil,
|
700 |
1 |
|
|a Shore, Richard A.,
|
710 |
0 |
|
|a American Mathematical Society.
|b Special Session(
|c Seattle) )
|d (1977:
|
952 |
|
|
|a GrAtEKP
|b 59cd0d1d6c5ad134460e6471
|c 998a
|d 945l
|e 511.35 AMSSRI1982 r 1985
|t 1
|x m
|z Books
|