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)

国立国会図書館請求記号: MA41-165
国立国会図書館書誌ID: 000006259467

資料種別: 図書

著者: Logic Colloquium (1979 : Leeds, Yorkshire)ほか

出版者: Cambridge University Press

出版年: 1980.

資料形態: 紙

ページ数・大きさ等: 319 p. : ill. ; 23 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 052123543X
ISSN（シリーズ）: 0076-0552
タイトル: 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
タイトル標目: London Mathematical Society lecture note series ; 45.
著者標目: Logic Colloquium (1979 : Leeds, Yorkshire)
Drake, F. R. (Frank Robert)
Wainer, S. S.
出版事項: Cambridge (England) : Cambridge University Press
New York : Cambridge University Press
出版年月日等: 1980.
出版年（W3CDTF）: 1980
数量: 319 p. : ill. ; 23 cm.
出版地（国名コード）: GB
本文の言語コード: eng
件名標目: Recursion theory -- Congresses.
Recursive functions -- Congresses.
DDC: 511.3
NDLC: MA41
書誌注記: Includes bibliographical references.
所蔵機関: 国立国会図書館
請求記号: MA41-165
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006259467
http://id.ndl.go.jp/bib/000006259467
LC control number: 80041215
https://lccn.loc.gov/80041215
整理区分コード: 211