METAMATHEMATICS, MACHINES AND GODEL´S PROOF
Favoritar
Ref:
39489
De: R$ 627,09Por: R$ 438,96ou de
Preço a vista:R$ 438,96
Economia de R$ 188,13
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Ficha Técnica
Especificações
| ISBN | 9780521585330 |
|---|---|
| Pré venda | Não |
| Peso | 246g |
| Autor para link | SHANKAR |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 220 |
| Número da edição | 1ª EDIÇÃO - 1997 |
| Código Interno | 39489 |
| Código de barras | 9780521585330 |
| Acabamento | PAPERBACK |
| Autor | SHANKAR |
| Editora | CAMBRIDGE UNIVERSITY PRESS |
| Sob encomenda | Sim |