Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Product ID: B00Y3Q8RCK
Condition: New
No Stock / Cannot Import
Product Description
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Technical Specifications
Country
USA
Manufacturer
Dover Publications
Binding
Kindle Edition
ReleaseDate
2015-04-20T00:00:00.000Z
Format
Kindle eBook







