| ![](thumb.php?src=products/354/9783540440390.jpg&wmax=80&hmax=80) | Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science,) | Carreno, Victor A. | Paperback | 3540440399 / 9783540440390 | 08/2002 | $52.24 |