AUTOMATED REASONING IN HIGHER-ORDER LOGIC - SET COMPREHENSION AND EXTENSIONALITY IN CHURCH'S TYPE
De: R$ 675,94Por: R$ 473,16ou X de
Economia de R$ 202,78Para envios internacionais, simule o frete no carrinho de compras.
Sinopse
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 |