J. Barwise and J. Etchemendy, The Language of First-Order Logic, 1992.

R. Bornat and B. Sufrin, Jape " (software) Unix/Linux version available from http

R. Bornat and B. Sufrin, 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

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

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

F. Fitch, Symbolic Logic, 1952.

P. Fung and T. Shea, Using Software Tools to Learn Formal Reasoning: a first assessment, CITE Report No, vol.168, 1992.

P. Fung, T. O-'shea, D. Goldson, S. Reeves, and R. Bornat, 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

P. Fung, T. O-'shea, D. Goldson, S. Reeves, and R. Bornat, 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

P. Fung, T. O-'shea, D. Goldson, S. Reeves, and R. Bornat, Computer tools to teach formal reasoning, Computers & Education, vol.27, issue.1, pp.59-69, 1996.
DOI : 10.1016/0360-1315(96)00016-4

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

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

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

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