Tarski’s system of geometry. (1999)

by Alfred Tarski, Steven R Givant
Venue:Bulletin of Symbolic Logic