Twenty Five Years of Constructive Type Theory

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Twenty Five Years of Constructive Type Theory

More books from Clarendon Press

bigCover of the book Truth, Rationality, and Pragmatism by

bigCover of the book How Hume and Kant Reconstruct Natural Law by

bigCover of the book Essays on Plato and Aristotle by

bigCover of the book The Canon of the New Testament by

bigCover of the book Making Men Moral by

bigCover of the book Agency and Responsibility by

bigCover of the book Graph Theory As I Have Known It by

bigCover of the book Legal Reasoning and Legal Theory by

bigCover of the book Playing by the Rules by

bigCover of the book Plural and Conflicting Values by

bigCover of the book Self-Knowing Agents by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy