Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
'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
| ISBN | 9781852333195 |
|---|---|
| Pré venda | Não |
| Peso | 339g |
| Autor para link | BEN-ARI M. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 304 |
| Número da edição | 1ª EDIÇÃO - 2003 |
| Código Interno | 628302 |
| Código de barras | 9781852333195 |
| Acabamento | PAPERBACK |
| Autor | BEN-ARI, M. |
| Editora | SPRINGER VERLAG |
| Sob encomenda | Não |