Degrees of unsolvability : local and global theory


名称	Degrees of unsolvability : local and global theory

索引号	O141/E903
分类号	O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	Lerman、 M. (Manuel)、 1943-、
出版社	Berlin ; New York : Springer-Verlag, 1983.
ISBN
页数	xiii, 307 p. : ill. ; 25 cm.
价格
标签
简介
注解	Includes indexes. 附註 Bibliography: p. [293]-297.