AUTOMATED REASONING IN HIGHER-ORDER LOGIC - SET COMPREHENSION AND EXTENSIONALITY IN CHURCH'S TYPE
Favoritar
Ref:
633602
De: R$ 930,00Por: R$ 651,00ou X de
Economia de R$ 279,00
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
Ficha Técnica
Especificações
| ISBN | 9781904987574 |
|---|---|
| Pré venda | Não |
| Peso | 630g |
| Autor para link | BROWN CHAD E. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 564 |
| Número da edição | 1ª EDIÇÃO - 2007 |
| Código Interno | 633602 |
| Código de barras | 9781904987574 |
| Acabamento | PAPERBACK |
| Autor | BROWN, CHAD E. |
| Editora | COLLEGE PUBLICATIONS |
| Sob encomenda | Sim |