Instantiation Theory: On the Foundations of Automated Deduction by James G. Williams (Paperback, 1991)

Brand new: lowest price

AU $216.00

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted