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 Concealed Art of the Soul by

bigCover of the book Problems and Process by

bigCover of the book The Philosophical Origins of Modern Contract Doctrine by

bigCover of the book The Essential Turing by

bigCover of the book Multicultural Citizenship : A Liberal Theory of Minority Rights by

bigCover of the book Plural and Conflicting Values by

bigCover of the book Making Men Moral by

bigCover of the book Projection and Realism in Hume's Philosophy by

bigCover of the book Intermediate Logic by

bigCover of the book Japanese Imperialism, 1894-1945 by

bigCover of the book Graph Theory As I Have Known It 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