Discusses summative and formative evaluation methods used and problems encountered in the study of LOGICLANDIA, a courseware package for the teaching and learning of predicate logic in Italian secondary schools. The evaluation process had three phases: subjective, in-house prototypes, and field testing. Results produced revisions in courseware material, in the effectiveness of educational objectives, and in student satisfaction. (Author/LAM)