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

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

Melvin Fitting

Preço
₩ 121.800
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de jul

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

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

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 English  
Mostrar tudo

Mais por Melvin Fitting

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