Minha sacola

    Favoritar

    AUTOMATED REASONING IN HIGHER-ORDER LOGIC - SET COMPREHENSION AND EXTENSIONALITY IN CHURCH'S TYPE

    Ref:
    633602

    De: R$ 675,94Por: R$ 473,16ou X de

    Economia de R$ 202,78

    Comprar

    Para envios internacionais, simule o frete no carrinho de compras.

    Editora
    ISBN
    Páginas
    Peso
    Idioma
    Acabamento

    Sinopse

    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9781904987574
    Pré vendaNão
    Peso630g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    Tipo itemLivro Importado
    Número de páginas564
    Número da edição1ª EDIÇÃO - 2007
    Código Interno633602
    Código de barras9781904987574
    AcabamentoPAPERBACK
    AutorBROWN, CHAD E.
    EditoraCOLLEGE PUBLICATIONS
    Sob encomendaSim
    Mostrar mais

    Este livro é vendido

    SOB ENCOMENDA

    Prazo estimado para disponibilidade em estoque: dias úteis

    (Sujeito aos estoques de nossos fornecedores)

    +

    Prazo do frete selecionado.

    (Veja o prazo total na sacola de compras)

    Comprar