Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science - Gilles Dowek - Livros - Springer London Ltd - 9780857291202 - 14 de janeiro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Gilles Dowek
Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science

Preço
R$ 293,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 12 - 19 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- as well as more advanced principles.

203 pages, 1, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 14 de janeiro de 2011
ISBN13 9780857291202
Editoras Springer London Ltd
Páginas 156
Dimensões 157 × 235 × 9 mm   ·   244 g

Mais por Gilles Dowek

Mostrar tudo

Ver tudo de Gilles Dowek ( por exemplo Paperback Book )