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 Making Sense of Corruption by

bigCover of the book Realism and Democracy by

bigCover of the book American Nationalisms by

bigCover of the book Computing for Biologists by

bigCover of the book The World through Roman Eyes by

bigCover of the book The Native Languages of South America by

bigCover of the book Monoidal Topology by

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

bigCover of the book Principles of Biomedical Instrumentation by

bigCover of the book Performing Early Modern Drama Today by

bigCover of the book Understanding Shiite Leadership by

bigCover of the book Insurance Risk and Ruin by

bigCover of the book Measure for Measure 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