I've seen one proof of $\mathrm{psl}_2(\mathbf Z) \cong C_2 * C_3$ based on the Ping-pong lemma
But what I'm looking for is how this result was historically obtained first.
I've checked Coxeter & Moser's "Generators and relations for discrete groups" and they (§7.2) do things that I find weird, they let the matrices act on circles in the half-plane $y>0$ which in turn they regard as lines of a hyperbolic plane, it then follows this group can be interpreted as triangle group acting on a hyperbolic triangle.
Is this indeed the 'classic' way to arrive at this result? And if so, I'd be happy with a bit of an explanation of what's going on, or a reference to a text where this is explained a bit more in detail, because I'm really not that comfortable with hyperbolic triangles.