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 Computational Logic and Human Thinking by

bigCover of the book Mobile Phone Behavior by

bigCover of the book A Short History of Ireland by

bigCover of the book Civil Society in Europe by

bigCover of the book Why Switzerland? by

bigCover of the book Radar Meteorology by

bigCover of the book Proclus: Commentary on Plato's Republic: Volume 1 by

bigCover of the book Solved Problems in Geophysics by

bigCover of the book The Botany of Mangroves by

bigCover of the book Governing Digitally Integrated Genetic Resources, Data, and Literature by

bigCover of the book Modern American Drama on Screen by

bigCover of the book Provisional Measures before International Courts and Tribunals by

bigCover of the book The Australian Army from Whitlam to Howard by

bigCover of the book Gynaecological Oncology by

bigCover of the book The Political Economy of the Eurozone 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