Type Theory and Formal Proof

An Introduction

Nonfiction, Science & Nature, Mathematics, Computers, Programming, Programming Languages, General Computing

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

Big bigCover of Type Theory and Formal Proof

More books from Cambridge University Press

bigCover of the book The Challenge of Originalism by

bigCover of the book Constructing the Self in a Digital World by

bigCover of the book Animal Experimentation by

bigCover of the book The Connected Self by

bigCover of the book The Spirit of Hindu Law by

bigCover of the book Biology and Feminism by

bigCover of the book The Global Transformation by

bigCover of the book Nietzsche: The Anti-Christ, Ecce Homo, Twilight of the Idols by

bigCover of the book Financial Assets, Debt and Liquidity Crises by

bigCover of the book Intonational Phonology by

bigCover of the book Reichel's Care of the Elderly by

bigCover of the book Language and Materiality by

bigCover of the book Probability and Evidence by

bigCover of the book Literature, Ethics, and Decolonization in Postwar France by

bigCover of the book Swift and History 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