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
Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.
Ficha Técnica
Especificações
| ISBN | 9780486683706 |
|---|---|
| Pré venda | Não |
| Peso | 197g |
| Autor para link | SMULLYAN RAYMOND |
| Livro disponível - pronta entrega | Não |
| Tipo item | Livro Importado |
| Número de páginas | 176 |
| Código Interno | 80124 |
| Código de barras | 9780486683706 |
| Acabamento | PAPERBACK |
| Autor | SMULLYAN, RAYMOND |
| Editora | DOVER PUBLICATIONS |
| Sob encomenda | Sim |