Using a computerized logic course employing the Carnegie Mellon Proof Tutor problem-solving environment, crucial features of computer environments were isolated and relative pedagogical effectiveness was assessed. Students used computerized environments to construct proofs and were presented with identical course materials on sentential logic. The group using the most informative and flexible interface performed better on the midterm. (Author/JKP)