Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer.

(London Mathematical Society lecture note series ; 45)

Call No. (NDL): MA41-165
Bibliographic ID of National Diet Library: 000006259467

Material type: 図書

Author: Logic Colloquium (1979 : Leeds, Yorkshire)ほか

Publisher: Cambridge University Press

Publication date: 1980.

Material Format: Paper

Capacity, size, etc.: 319 p. : ill. ; 23 cm.

NDC: -

View All

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: 052123543X
ISSN (series): 0076-0552
Title: Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer.
Series Title: London Mathematical Society lecture note series ; 45
Title Heading: London Mathematical Society lecture note series ; 45.
Author Heading: Logic Colloquium (1979 : Leeds, Yorkshire)
Drake, F. R. (Frank Robert)
Wainer, S. S.
Publication, Distribution, etc.: Cambridge (England) : Cambridge University Press
New York : Cambridge University Press
Publication Date: 1980.
Publication Date (W3CDTF): 1980
Extent: 319 p. : ill. ; 23 cm.
Place of Publication (Country Code): GB
Text Language Code: eng
Subject Heading: Recursion theory -- Congresses.
Recursive functions -- Congresses.
DDC: 511.3
NDLC: MA41
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: MA41-165
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006259467
http://id.ndl.go.jp/bib/000006259467
LC Control Number: 80041215
https://lccn.loc.gov/80041215
Bibliographic Record Category (NDL): 211