Logic for Computer Science: Foundations of Automatic Theorem

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Country USA
Brand Dover Publications
Manufacturer Dover Publications
Binding Paperback
ItemPartNumber YES11780832
Model YES11780832
ReleaseDate 2015-05-20
UnitCount 1
UPCs 800759780822
EANs 9780486780825

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)