CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Three Views of Logic : Mathematics, Philosophy, and Computer Science
Three Views of Logic : Mathematics, Philosophy, and Computer Science by Loveland, Donald W., Hodel,... ISBN: 9780691160443 List Price: $49.50
$46.37 (Save 6%)
2.
A machine program for theorem-proving
A machine program for theorem-proving by Martin Davis, George Logema... ISBN: 9781179051789 List Price: $15.75

OUT OF STOCK

See Availability on Amazon
3.
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving by Davis, Martin, Logemann, Ge... ISBN: 9781342126283 List Price: $19.95

OUT OF STOCK

See Availability on Amazon
4.
Manual on Recurring Problems in Criminal Trials
Manual on Recurring Problems in Criminal Trials by Federal Judicial Center, Fe... ISBN: 9781541390126 List Price: $19.95
$17.31 (Save 13%)
5.
Automated Theorem Proving After 25 Years
Automated Theorem Proving After 25 Years by Bledsoe, W. W., Loveland, D... ISBN: 9780821850275 List Price: $48.00

OUT OF STOCK

See Availability on Amazon
6.
Machine Program for Theorem-Proving
Machine Program for Theorem-Proving by Davis, Martin, Logemann, Ge... ISBN: 9781379081265 List Price: $9.95

OUT OF STOCK

See Availability on Amazon
7.
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Three Views of Logic: Mathematics, Philosophy, and Computer Science by Loveland, Donald W., Hodel,... ISBN: 9781400848751

OUT OF STOCK

See Availability on Amazon