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 From Clone to Bone by

bigCover of the book Causation and Creation in Late Antiquity by

bigCover of the book Restoring Voice to People with Cognitive Disabilities by

bigCover of the book Volkswagen in the Amazon by

bigCover of the book Anesthesia for Spine Surgery by

bigCover of the book A Clinician's Guide to Statistics and Epidemiology in Mental Health by

bigCover of the book The Value of the Novel by

bigCover of the book The Transactional Interpretation of Quantum Mechanics by

bigCover of the book Hinduism and Law by

bigCover of the book Ceramics in Circumpolar Prehistory by

bigCover of the book Text and Authority in the South African Nazaretha Church by

bigCover of the book The Natural Law Foundations of Modern Social Theory by

bigCover of the book Economic Origins of Dictatorship and Democracy by

bigCover of the book Shakespeare and the Eighteenth-Century Novel 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