Computability, enumerability, unsolvability : directions in recursion theory

• Tác giả: S. B Cooper, T. A Slaman, S. S Wainer
• Ngôn ngữ: eng
• ISBN: 0521557364 (pbk.)
• Ký hiệu phân loại: 511.35 Recursion theory
• Thông tin xuất bản: Cambridge [England] ; New York : Cambridge University Press, 1996.
• Mô tả vật lý: vii, 347 p. ; , 23 cm.
• Bộ sưu tập: Khoa học tự nhiên
• ID: 276077
• Chủ đề: 1. Recursion theory

Includes bibliographical references.