Hogan, Joanne (1999) Deductive reasoning in Euclidean geometry : an intermediate level unit. Masters thesis, Memorial University of Newfoundland.