Interactive Theorem Proving and Program Development: Coq'Art
Interactive Theorem Proving and Program Development: Coq'Art,Interactive Theorem Proving and Program Development: Bertot,Coding Theorems of Information Theory | SpringerLink,Simple Algebras, Base Change, and the Advanced Theory of the