Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman. (Studies in logic and the foundations of mathematics, v. 79)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman.

(Studies in logic and the foundations of mathematics, v. 79)

Call No. (NDL): MA41-72
Bibliographic ID of National Diet Library: 000006344329

Material type: 図書

Author: Symposium on Generalized Recursion Theory, 1st, University of Oslo, 1972.ほか

Publisher: North-Holland Pub. Co.

Publication date: 1974.

Material Format: Paper

Capacity, size, etc.: viii, 456 p. 23 cm.

NDC: -

View All

Notes on use

Note (General)：: Includes 12 papers from the symposium.

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
ISBN: 044410545X (American Elsevier)
Title: Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman.
Series Title: Studies in logic and the foundations of mathematics, v. 79
Author Heading: Symposium on Generalized Recursion Theory, 1st, University of Oslo, 1972.
Fenstad, Jens Erik.
Hinman, Peter G.
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
New York : American Elsevier Pub. Co.
Publication Date: 1974.
Publication Date (W3CDTF): 1974
Extent: viii, 456 p. 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Recursion theory -- Congresses.
LCC: QA9.6
DDC: 511/.3
NDLC: MA41
Note (General): Includes 12 papers from the symposium.
Note (Bibliography): Bibliography: p. 445-451.
Holding library: 国立国会図書館
Call No.: MA41-72
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006344329
http://id.ndl.go.jp/bib/000006344329
LC Control Number: 73081531
https://lccn.loc.gov/73081531
Bibliographic Record Category (NDL): 211