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) - Livros - Elsevier Science & Technology - 9780444894830 - 4 de fevereiro de 1992
Caso a capa e o título não sejam correspondentes, considere o título como correto

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)

Preço
Íkr 14.955,54

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 19 de ago
Adicione à sua lista de desejos do iMusic

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers - Studies in Logic and the Foundations of Mathematics

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