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

All

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 €11.50 (21%)
Book€41.99
You save €11.50 (21%)
New €53.49€41.99