Compare prices for type theory

	Modern Perspective on Type Theory, A From Its Origins Until Today author: Kamareddine, Fairouz D.; publisher: Kluwer Acad.Publrs.     Availability: refer to store website Shipping: refer to store website	£87.00 at countrybookshop.co.uk  4.0/5 Info All items of this shop
	Kluwer Academic Publishers An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic S.) Pages: 408, Hardcover, Kluwer Academic Publishers     Availability: Usually dispatched within 7 to 11 days Shipping: refer to store website	£55.00 at Amazon.co.uk  4.5/5 Info All items of this shop
	Clarendon Press Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) Pages: 240, Hardcover, Clarendon Press     Availability: Usually dispatched within 7 to 11 days Shipping: refer to store website	£26.34 at Amazon.co.uk  4.5/5 Info All items of this shop
	Cambridge University Press Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) Pages: 198, Hardcover, Cambridge University Press     Availability: Usually dispatched within 24 hours Shipping: refer to store website	£45.00 at Amazon.co.uk  4.5/5 Info All items of this shop
Offers from 1£ for "type theory"