Deductive geometry.
Maxwell, E. A.(Edwin Arthur)
Oxford, 
1962.