cartcart
    Category
    Condition
    Good(1)
    Price
    Medium
    This filter selection is automatically applied to the "Books" category
    Language

    Recommended for you

















    Popularity
    Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
    New €53.49
    You save €9.51 (17%)
    book€43.98
    You save €9.51 (17%)
    New €53.49€43.98

    Recommended for you