What is elementary geometry (1959)

by A Tarski
Venue:Studies in Logic and the Foundations of Mathematics, 27:16–29