Theorem proving in higher order logics

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

This is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.