• Shop by category
  • Powered by eBay
  • Grundy - orem Proving in Higher Order Logics 11th International Conf - L555z

    • Item No : 387002326981
    • Condition : Brand New
    • Brand : NA
    • Seller : ihaveit_music
    • Current Bid : US $85.07
    • * Item Description

    • The Title is Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. The item is a book paperback or softback.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category