Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.

(London Mathematical Society lecture note series)

Call No. (NDL): MA41-A95
Bibliographic ID of National Diet Library: 000003244159

Material type: 図書

Author: Cooper, S. B. (S. Barry)ほか

Publisher: Cambridge University Press

Publication date: 1996.

Material Format: Paper

Capacity, size, etc.: vii, 347 p. : ill. ; 23 cm.

NDC: -

View All

Notes on use

Note (General)：: Includes bibliographical references.

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: 0521557364
Title: Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
Series Title: London Mathematical Society lecture note series
Author Heading: Cooper, S. B. (S. Barry)
Slaman, T. A. (Theodore Allen) , 1954-
Wainer, S. S.
Publication, Distribution, etc.: New York : Cambridge University Press
Publication Date: 1996.
Publication Date (W3CDTF): 1996
Extent: vii, 347 p. : ill. ; 23 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: 帰納法. Kinoho.
Recursion theory.
LCC: QA9.6
DDC: 511.3/5
NDLC: MA41
Note (General): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: MA41-A95
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003244159
http://id.ndl.go.jp/bib/000003244159
LC Control Number: 95044750
https://lccn.loc.gov/95044750
Bibliographic Record Category (NDL): 211