PRODUCT NAME
Chin Liang Chang Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
PRODUCT CODE: PROD130228593
PRODUCT INFORMATION
Symbolic Logic And Mechanical Theorem Proving
Technical Details
Product Details
Product Dimensions
Package Dimensions
Width : 6.38 inch
Height : 1.1 inch
Length : 9.37 inch
Item Weight: 1.53 pounds (View shipping rates and policies)
Shipping Weight: 1.37 pounds (View shipping rates and policies)
ASIN : 0121703509