First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

New
Paperback
2013
$88.18

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.

Synopsis

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.

$88.18

Save:$0.56 (1%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 344
Edition: 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996
Publisher: Springer
Published: 26 Jun 2013
ISBN 10: 1461275156
ISBN 13: 9781461275152

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

New

$88.18

Synopsis

$88.18

More Information