First-Order Logic and Automated Theorem Proving - Texts in Computer Science - Melvin Fitting - Livros - Springer-Verlag New York Inc. - 9781461275152 - 26 de junho de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science 2nd ed. 1996. Softcover reprint of the original 2n edition

Preço
€ 81,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 3 - 11 de dez
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

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de junho de 2013
ISBN13 9781461275152
Editoras Springer-Verlag New York Inc.
Páginas 326
Dimensões 244 × 170 × 22 mm   ·   553 g
Idioma Inglês  
Mostrar tudo

Mais por Melvin Fitting

Ver tudo de Melvin Fitting ( por exemplo Paperback Book e Hardcover Book )