De: R$ 0,00Por: R$ 70,27ou X de
Preço a vista: R$ 70,27
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
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction.
Ficha Técnica
Especificações
| ISBN | 9780486446554 |
|---|---|
| Pré venda | Não |
| Editor | DOVER PUBLICATIONS |
| Peso | 150g |
| Editor para link | DOVER PUBLICATIONS |
| Autor para link | PRAWITZ DAG |
| Livro disponível - pronta entrega | Sim |
| Tipo item | Livro Importado |
| Número de páginas | 128 |
| Número da edição | 1ª EDIÇÃO - 2006 |
| Código Interno | 629652 |
| Código de barras | 9780486446554 |
| Acabamento | PAPERBACK |
| Autor | PRAWITZ, DAG |
| Editora | DOVER PUBLICATIONS |
| Sob encomenda | Não |