Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Bell, John L.
From Russell Books, Victoria, BC, Canada
Seller rating 5 out of 5 stars
Heritage Bookseller
AbeBooks member since 1996
New - Soft cover
Quantity: Over 20 available
Add to basket