De: R$ 556,41Por: R$ 445,13ou X de
Economia de R$ 111,28
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
'Structural proof theory' is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Ficha Técnica
Especificações
| ISBN | 9780521068420 |
|---|---|
| Pré venda | Não |
| Peso | 308g |
| Autor para link | PLATO JAN VON,NEGRI SARA |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 276 |
| Número da edição | 1ª EDIÇÃO - 2008 |
| Código Interno | 628355 |
| Código de barras | 9780521068420 |
| Acabamento | PAPERBACK |
| Autor | PLATO, JAN VON | NEGRI, SARA |
| Editora | CAMBRIDGE UNIVERSITY PRESS |
| Sob encomenda | Sim |