吉田伸生の本は、厳密なんだけど、やりすぎてない
杉浦なんかだと、テイラー展開とか部分多様体とか、センスゼロの説明をしている
松坂もいいんだけど、松坂はルベーグ積分の続編がないからね
男は黙って、吉田伸生の微積分とルベーグ積分に取り組むべし