Tell your friends about this item:
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers - Studies in Logic and the Foundations of Mathematics Odifreddi, P. (University of Turin, Italy)
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers - Studies in Logic and the Foundations of Mathematics
Odifreddi, P. (University of Turin, Italy)
Includes a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensive reference for the subject starting from first principles.
692 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 4, 1992 |
| ISBN13 | 9780444894830 |
| Publishers | Elsevier Science & Technology |
| Pages | 692 |
| Dimensions | 236 × 157 × 37 mm · 952 g |
| Language | English |