CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 Results
1.
Metamathematics, Machines and Godel's Proof
Metamathematics, Machines and Godel's Proof by Shankar, Natarajan, van Rij... ISBN: 9780521585330 List Price: $53.00
$51.78 (Save 2%)
2.
Automated Reasoning Thrid International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, Augu...
Automated Reasoning Thrid International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, Augu... by Furbach, Ulrich, Shankar, N... ISBN: 9783540371878 List Price: $119.00
$82.10 (Save 31%)
3.
Automated Formal Methods
Automated Formal Methods by Shankar, Natarajan ISBN: 9781450353304 List Price: $99.00

OUT OF STOCK

See Availability on Amazon