Computability, Enumerability, Unsolvability Directions in Recursion Theory |
|
| Editor:
| Cooper, S. B.
Slaman, T. A.
Wainer, S. S. |
| Series title: | London Mathematical Society Lecture Note Ser. |
| ISBN: | 978-0-511-89313-1 |
| Publication Date: | Jan 2011 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.
Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.