Title: Type Theory and Formal Proof
Subjects: Logic, symbolic and mathematical, Type theory, COMPUTERS / Programming Languages / General