A computerized tutoring system for teaching students how to construct proofs associated with computer science, logic, math, and other studies. The self tutoring system employs an interactive computer programmed with a proof problem and access to assumptions and assertions for a student to study. The student tries to solve the problem by interacting with the computer to choose and interconnect appropriate assumptions and assertions as required for the proof. The system provides immediate feedback for the student to correct mistakes and information on the student's learning progress. The level of tutoring may adjusted to suit the needs of the student. The tutoring system may include audio and visual effects to entertain the student during the tutoring process. One embodiment involves symbols to represent the assumptions and assertions, and the text of the assumptions and assertions may be toggled off to reduce distracting clutter on the computer display screen.