Cover Image
Read Now

1
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...1 A Brief Overview -- 2 Types and Expressions -- 3 Propositions and Proofs -- 4 Dependent Products...”