Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

＜図書＞
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.)
シリーズ	Lecture notes in mathematics ; 1432
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1990
本文言語	英語
大きさ	vi, 393 p. : ill. ; 25 cm
概要	These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in thi... field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. Proceedings of a conference held in Oberwolfach, FRG, March 1989, provide a global view of recent progress in the vast area of recursion theory. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る

一般注記	Includes references and index
著者標目	Ambos-Spies, K. (Klaus) Müller, G. H. (Gert Heinz), 1923- Sacks, Gerald E., 1933-
件　名	LCSH:Recursion theroy--Congresses
分　類	NDC8:410.8 DC19:511.3
書誌ID	1000033238
ISBN	3540527729
NCID	BA10653230
巻冊次	: gw ; ISBN:3540527729 : us ; ISBN:0387527729
登録日	2009.09.10
更新日	2017.02.18