Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Livros - Springer - 9780792359043 - 30 de setembro de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library 1999 edition

Preço
R$ 986,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.


395 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de setembro de 1999
ISBN13 9780792359043
Editoras Springer
Páginas 395
Dimensões 156 × 234 × 23 mm   ·   757 g
Idioma Inglês  

Mais por Roman Murawski

Mostrar tudo