Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Logic and Computation: Interactive Proof with Cambridge LCF by Lawrence C. Paulson (Paperback, 1990)
Price:
AU $72.66
+ AU $9.95 postage
Returns:
60-day returns. Buyer pays for return postage.
Condition:
You are buying ONE brand new BOOK Logic and Computation (Interactive Proof with Cambridge LCF). Author: Lawrence C. Paulson. Year first published: 1990. Approximate dimensions: 247mm x 187mm x 19mm.