Let S be a simply connected open set in the complex
plane not containing 0. By a known theorem,
there exists a log function ln z on S, i.e. a
holomorphic function ln z on S such that exp(ln z)=z
for
all z in S.

My question is how to define explicitly such a
function when S is the complement of the spiral
r=theta.

TCL