Computability, Enumerability, Unsolvability (Paperback) (ISBN-13: 9780521557368)

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book provide a picture of current ideas and methods in the ongoing investigations into the structure of the computable and noncomputable universe. A number of the articles contain introductory and background material that will make the volume an invaluable resource for mathematicians and computer scientists.

Author: S. B. Cooper
ISBN-10: 0521557364
ISBN-13: 9780521557368
Publisher: Cambridge University Press
Language: English
Published: 01/11/1996
Pages: 356
Format: Paperback
Weight: 1.13lbs
Size: 8.98h x 5.98w x 0.83d