解析力学の、現代的な表式を使っていてちゃんとマトモに論理展開が書いてある本ってこの世に存在するの？