The Language of First-Order Logic, 1992. ,

Jape " (software) Unix/Linux version available from http ,

Animating Formal Proof at the Surface: The Jape Proof Calculator, The Computer Journal, vol.42, issue.3, 1996. ,

DOI : 10.1093/comjnl/42.3.177

Implementing a simple proof assistant, Workshop on Programming for Logic Teaching, 1987. ,

User interfaces in natural deduction programs, Ed.) Proceedings of the 4 th International Workshop on User Interface Design for Theorem Proving Systems, 1998. ,

Symbolic Logic, 1952. ,

Using Software Tools to Learn Formal Reasoning: a first assessment, CITE Report No, vol.168, 1992. ,

Computer science students perceptions of learning formal reasoning methods, International Journal of Mathematical Education in Science and Technology, vol.24, issue.5, pp.749-760, 1993. ,

DOI : 10.1145/102868.102870

Why computer science students find formal reasoning frightening, Journal of Computer Assisted Learning, vol.24, issue.5, pp.240-250, 1994. ,

DOI : 10.1016/0743-1066(88)90001-5

Computer tools to teach formal reasoning, Computers & Education, vol.27, issue.1, pp.59-69, 1996. ,

DOI : 10.1016/0360-1315(96)00016-4

Cognitive Dimensions of Notations, People and Computers V, pp.443-460, 1989. ,

Effective evaluation: improving the usefulness of evaluation results through responsive and naturalistic approaches, 1981. ,

Cognitive Dimensions Analysis of Theorem Provers, Proceedings of the 3 rd International Workshop on User Interface Design for Theorem Proving Systems, 1997. ,

The Carnegie Mellon Proof Tutor) 101 Success Stories of Information Technology in Higher Education: The Joe Wyatt Challenge, 1993. ,