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 this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9783540471424 ● 编辑 Klaus Ambos-Spies & Gert H. Muller ● 出版者 Springer Berlin Heidelberg ● 发布时间 2006 ● 下载 3 时 ● 货币 EUR ● ID 6593321 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器