Higher Order Logic Theorem Proving and its Applications: 8th International Workshop : Papers: 8th: International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1995)


OUR TOP PICK

$146.00

Free postage
quantity
2 available
condition
Brand new
sold by
delivery
Est. 6 Jan - 18 JanFrom United Kingdom
Returns
30 days money back
Buyer pays return postage