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
SEK 899

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 18 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 )