
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 · 968 g |
Idioma | English |
Ver tudo de Odifreddi, P. (University of Turin, Italy) ( por exemplo Paperback Book )