Recursion theory : computational aspects of definability

• Tác giả: C.-T Chong, Liang Yu
• Ngôn ngữ: eng
• ISBN-13: 978-3110275551
• Ký hiệu phân loại: 511.35 Recursion theory
• Mô tả vật lý: xiii, 306 pages ; , 25 cm.
• Bộ sưu tập: Khoa học tự nhiên
• ID: 279009
• Chủ đề: 1. Recursion theory

Includes bibliographical reference (pages 295-301) and index.