Designed for students who have mastered the skills and concepts in the regular geometry series of the Quinmester Program, this guidebook presents an additional course on the study of the nature of proof, using a Euclidean geometry model. The development of techniques of formal proof is simplified through the liberal use of partially-constructed proofs ready for completion. Overall course goals are specified, a course outline is provided, performance objectives are listed, and text references keyed to the performance objectives are included. Also included is a short annotated bibliography. (JP)