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 A Guide to Neo-Latin Literature by

bigCover of the book The Cambridge History of Science: Volume 1, Ancient Science by

bigCover of the book The Forgotten Front by

bigCover of the book Edwards' Treatment of Drinking Problems by

bigCover of the book The Dyslexia Debate by

bigCover of the book Ottoman Women during World War I by

bigCover of the book The Institutions Curse by

bigCover of the book The Cartographic State by

bigCover of the book Strategic Financial Planning over the Lifecycle by

bigCover of the book Explaining the Performance of Human Resource Management by

bigCover of the book Does War Make States? by

bigCover of the book Topics in Structural Graph Theory by

bigCover of the book Feminist Judgments by

bigCover of the book Advances in Economics and Econometrics: Volume 1, Economic Theory 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