Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Goedel's Theorems - Synthese Library - Roman Murawski - Livros - Springer - 9789048152988 - 6 de dezembro de 2010
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 Softcover reprint of hardcover 1st ed. 1999 edition

Roman Murawski

Preço
Kč 3.609
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 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 Softcover reprint of hardcover 1st ed. 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.


407 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de dezembro de 2010
ISBN13 9789048152988
Editoras Springer
Páginas 395
Dimensões 155 × 235 × 21 mm   ·   566 g

Mostrar tudo

Mais por Roman Murawski