What is elementary geometry (1959)

by A Tarski
Venue:In Henkin et al