[FOM] Tarski's real projective geometry

[Neil Tennant]

In an abstract in JSL 1949, at p.78, Tarski mentions
that he had shown that the theory of real projective
geometry is decidable.

Can any fom-er cite a reference for the detailed proof
of this result? Or tell me exactly what axioms Tarski
took the theory to have?

Neil Tennant