Conte aos seus amigos sobre este 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 4 de fevereiro de 1992 |
| ISBN13 | 9780444894830 |
| Editoras | Elsevier Science & Technology |
| Páginas | 692 |
| Dimensões | 236 × 157 × 37 mm · 952 g |
| Idioma | Inglês |