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

Roman Murawski

Preço
₩ 228.800
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 17 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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 English  

Mostrar tudo

Mais por Roman Murawski