3 livres dans ce genre
Calculus of several variables
Casper Goffman
Interactive theorem proving and program development
Yves Bertot
The calculus of operations
Paterson, John
