• Shop by category
  • Powered by eBay
  • Theorem Proving in Higher Order : 13th International Conference, Tphols 2000,...

    • Item No : 405769278353
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : superbookdeals1
    • Current Bid : US $86.06
    • * Item Description

    • Theorem Proving in Higher Order : 13th International Conference, Tphols 2000, Portland, Or, Usa, August 14-18, 2000 : Proceedings, Paperback by Tphols 200 (2000 Portland, Or.).
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category