Minha sacola

    MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

    Favoritar
    Ref:
    628302

    Produto indisponível:

    Preencha os dados abaixo e seja avisado quando nossos produtos retornarem em estoque:

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    Sinopse

    'Mathematical Logic for Computer Science' is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides a elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic. tableaux are related to deductive proof systems.

    Ficha Técnica

    Especificações

    ISBN9781852333195
    Pré vendaNão
    Peso339g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    Tipo itemLivro Importado
    Número de páginas304
    Número da edição1ª EDIÇÃO - 2003
    Código Interno628302
    Código de barras9781852333195
    AcabamentoPAPERBACK
    AutorBEN-ARI, M.
    EditoraSPRINGER VERLAG
    Sob encomendaNão

    Conheça outros títulos da coleção

      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