Loading products…
Check final price, delivery and availability with the retailer.
Buy directly from your chosen retailer. Check delivery costs, availability and returns on the retailer’s website before buying.
Typical prices across the web
£7.44 below the typical price across 3 retailers.
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on inco...
We may earn a commission when you click through to a retailer such as eBay or Amazon. This never affects the price you pay.
Recorded lowest item prices. Delivery costs excluded.