対数関数、指数関数の定義や諸性質が厳密に描かれている本を教えてください。