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

New
Paperback
2013
$93.19

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.

$93.19

Save:$0.59 (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

$93.19

Synopsis

$93.19

More Information