Foundations of geometry : Euclidean and Bolyai-Lobachevskian geometry, projective geometry