Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)

Recursion theory / [edited by Anil Nerode, Richard A. Shore].

(Proceedings of symposia in pure mathematics ; v. 42)

Notes on use

Note (General)：: "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.

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0821814478 (alk. paper)
Title: Recursion theory / [edited by Anil Nerode, Richard A. Shore].
Series Title: Proceedings of symposia in pure mathematics ; v. 42
Author Heading: Nerode, Anil, 1932-
Shore, Richard A., 1946-
American Mathematical Society.
Association for Symbolic Logic.
AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University)
Publication, Distribution, etc.: Providence, R.I. : American Mathematical Society
Publication Date: 1985.
Publication Date (W3CDTF): 1985
Extent: vii, 528 p. : ill. ; 27 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Recursion theory -- Addresses, essays, lectures.
LCC: QA9.6
DDC: 511.3
NDLC: M15
MA
Note (General): "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.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A1069
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003124912
http://id.ndl.go.jp/bib/000003124912
LC Control Number: 84018525
https://lccn.loc.gov/84018525
Bibliographic Record Category (NDL): 211