Title: The foundations of Euclidean geometry
First published: 1958