3 books in this genre
Calculus of several variables
Casper Goffman
Interactive theorem proving and program development
Yves Bertot
The calculus of operations
Paterson, John
