3 libri in questo genere
Calculus of several variables
Casper Goffman
Interactive theorem proving and program development
Yves Bertot
The calculus of operations
Paterson, John