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 The Life of Adam Smith by

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

bigCover of the book Aristotle on the Common Sense by

bigCover of the book German Resistance against Hitler by

bigCover of the book The Ethics of Philodemus by

bigCover of the book Riddles of Existence: A Guided Tour of Metaphysics by

bigCover of the book How the Body Shapes the Mind by

bigCover of the book Intellectual Virtues by

bigCover of the book The Old Curiosity Shop by

bigCover of the book Intermediate Logic 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