AUTOMATED REASONING IN HIGHER-ORDER LOGIC - SET COMPREHENSION AND EXTENSIONALITY IN CHURCH'S TYPE
Ref:
633602
De: R$ 0,00Por: R$ 149,43ou X de
Sinopse
Mostrar mais
Ficha técnica
Especificações
ISBN | 9781904987574 |
---|---|
Pré venda | Não |
Peso | 630g |
Livro disponível - pronta entrega | Não |
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 |