ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Regressive sets and the theory of isols / Thomas G. McLaughlin
(
Lecture notes in pure and applied mathematics
;
v. 66
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
応用数学(越)
410.8/L 5/66
50000152348
152348
仮想書架
仮想書架
書誌詳細を非表示
出版情報
New York : M. Dekker , c1982
大きさ
vi, 371 p. ; 26 cm
一般注記
Includes bibliographical references and index
著者標目
*McLaughlin, Thomas G.
件 名
LCSH:
Recursion theory
LCSH:
Isols
LCSH:
Set theory
分 類
LCC:
QA9.6
DC19:
511.3
本文言語
英語
書誌ID
TB10057071
ISBN
0824713370
NCID
BA01419731
巻冊次
pbk. ; ISBN:0824713370
目次/あらすじ
類似資料
1
Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis
: Berlin,: New York
2
Initial segments of degrees below 0' / Richard L. Epstein
3
Recursion on the countable functionals / Dag Normann
: Berlin,: New York
4
Diagonalization and self-reference / Raymond M. Smullyan
5
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
: gw,: us
6
Recursion theory / Joseph R. Shoenfield
: gw,: us
7
Recursion theory for metamathematics / Raymond M. Smullyan
8
Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman
: North-Holland,: American Elsevier
9
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)
: gw,: us
10
Aspects of incompleteness / Per Lindström