Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
ISBN-13: 9780444898807
ISBN-10: 0444898808
Binding: Paperback
Publisher: North Holland
Published: 1993-02-17
Best Prices for this Book in New Condition
Best Used Prices
Best Rental Prices
-
-
-
Free shipping
As an Amazon Associate we earn from qualifying purchases.