Type Theory and Formal Proof: An Introduction
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Read More
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Read Less
Currently there are no
copies available. However, our inventory changes frequently. Please check back soon or try
Book Fetch.
